<!--
	var ourInterval;
	//var origColor = "#F3F9F1";
	//var overColor = "#36FF00";
	var scrollSpeed = 50;
	var scrollHeight = 5;

	function scrollStart(direction, divID, elementID) {
		//document.getElementById(elementID).style.backgroundColor = overColor;
		ourInterval = setInterval("scroll"+direction+"('"+divID+"')", scrollSpeed);
	}
	function scrollEnd(which) {
		//document.getElementById(which).style.backgroundColor = origColor;
		clearInterval(ourInterval);
	}
	function scrollUp(which) {
		document.getElementById(which).scrollTop = document.getElementById(which).scrollTop - scrollHeight;
	}
	function scrollDown(which) {
		document.getElementById(which).scrollTop = document.getElementById(which).scrollTop + scrollHeight;
	}
//-->