var t=-1;
var do_scroll = false;
var scroll_up;

function move_up() {
	scroll_up = true;
	do_scroll = true;
	t=setTimeout("scroll_text()", 10);
}

function move_down() {
	scroll_up = false;
	do_scroll = true;
	t=setTimeout("scroll_text()", 10);
}

function stop_moving() {
	do_scroll = false;
}

function scroll_text() {
	if (do_scroll) {
		if (scroll_up)
			text.scrollTop -= 3;
		else 
			text.scrollTop += 3;
		t=setTimeout("scroll_text()", 10);
	}
}

function start_scroll() {
	if (t != -1) clearTimeout(t);
	t=setTimeout("scroll_text()", 10);
	text = document.getElementById("content");
}


function load() {
	start_scroll();
}