// JavaScript Document
function setScroll(up){
	theObj = document.getElementById("mainText_"+win);
	speed = 2;
	if(up){speed = speed*-1}
	theObj.scrollTop += speed;
	if(theObj.scrollTop > 0) this.aniTimer = setTimeout("setScroll("+up+")", 10);
}
function scrollText(up, start){
	if(start){
		if (this.aniTimer) window.clearTimeout(this.aniTimer);
		this.aniTimer = setTimeout("setScroll("+up+")", 10);
	} else {window.clearTimeout(this.aniTimer)}
}