// JavaScript Document
function ScrollImg(){
	var speed = 17;
	var scroll_div = document.getElementById("scroll_div");
	var scroll_begin = document.getElementById("scroll_begin");
	var scroll_end = document.getElementById("scroll_end");
	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)}
}
