function scrollUp() {
	scrolltime = setInterval("document.getElementById('div07').doScroll('up');", 100);
}

function scrollDown() {
	scrolltime = setInterval("document.getElementById('div07').doScroll('down')", 100);
}

function scrollStop() {
	clearInterval(scrolltime);
}