var scroll_flag=false;
var intervalId;

function scrollstart(scroll_type) {
	scroll_flag=true;

	try {
		window.clearInterval(intervalId);
	}
	catch (e) {}

	intervalId=window.setInterval("scroll" + scroll_type + "();", 20);
}

function scrollstop() {
	window.clearInterval(intervalId);
}

function scrollup() {
	window.frames["text"].scrollBy(0, -6);
}

function scrolldown() {
	window.frames["text"].scrollBy(0, 6);
}

function scrollleft() {
	window.frames["text"].scrollBy(-10, 0);
}

function scrollright() {
	window.frames["text"].scrollBy(10, 0);
}