// JavaScript Document

	function ScrollImgTop(){
		var speed=50; 
		var scroll_begin = document.getElementById("scroll_begin");
		var scroll_end = document.getElementById("scroll_end");
		var scroll_div = document.getElementById("scroll_div");
		scroll_end.innerHTML=scroll_begin.innerHTML
		function Marquee(){
			if(scroll_end.offsetTop-scroll_div.scrollTop<=0)
				scroll_div.scrollTop-=scroll_begin.offsetHeight
			else
				scroll_div.scrollTop++
		}
		var MyMar=setInterval(Marquee,speed)
		scroll_div.onmouseover=function() {clearInterval(MyMar)}
		scroll_div.onmouseout=function() {MyMar=setInterval(Marquee,speed)}
	}