<!--
function scroll_down() {
	stop_scroll();
	var page_content = document.getElementById("page_text_content");
	if (parseInt(page_content.style.top) > - 850) {
		page_content.style.top = parseInt(page_content.style.top) - 2;
	}
	scroller = setTimeout("scroll_down()", 0);
}

function scroll_up() {
	stop_scroll();
	var page_content = document.getElementById("page_text_content");
	if (parseInt(page_content.style.top) < 0) {
		page_content.style.top = parseInt(page_content.style.top) + 2;
	}
	scroller = setTimeout("scroll_up()", 0);
}

function stop_scroll() {
	if (window.scroller) {
		clearTimeout(scroller);
	}
}
-->