function divAutoScroll(amount,ref,scrtime) {
			var scrollref = document.getElementById(ref);
			orig = scrollref.scrollTop
    	scrollref.scrollTop = scrollref.scrollTop+amount;
			if (orig>=scrollref.scrollTop)
			{
				scrollref.scrollTop = 0;
			}
    	scrolldelay = setTimeout('divAutoScroll('+amount+',"'+ref+'",'+scrtime+')',scrtime);
}