function getDocumentHeight() {
	if (document.all) {
		return document.body.scrollHeight;
	} else {
		return document.height;
	}
}