// JavaScript Document
var scrollTimeout = Array();
function clearScrolls(){
	for(var i =0; i<scrollTimeout.length; i++){
		clearTimeout(scrollTimeout[i]);
	}
}
function scroll(size){
	var element = document.getElementById('divScrollTextCont');
	element.scrollTop = element.scrollTop+size;
	clearScrolls();
	scrollTimeout.push(setTimeout('scroll('+size+')', 50));
}

function noScroll(){
	clearScrolls();
}