// JavaScript Document
var   speed = 15; 
document.getElementById("demo2").innerHTML = document.getElementById("demo1").innerHTML;  
function   Marquee1(){  
	if(document.getElementById("demo2").offsetHeight-document.getElementById("demo").scrollTop <= 0)  
	   document.getElementById("demo").scrollTop -= document.getElementById("demo1").offsetHeight;  
	else{  
	   document.getElementById("demo").scrollTop++; 
	}   
}  
var   MyMar1=setInterval(Marquee1,speed)  
document.getElementById("demo").onmouseover=function()   {clearInterval(MyMar1)}  
document.getElementById("demo").onmouseout=function()   {MyMar1=setInterval(Marquee1,speed)} 