var speed=120
pro_demo2.innerHTML=pro_demo1.innerHTML 
function Marquee(){ 
if(pro_demo2.offsetWidth-pro_demo.scrollLeft<=0) 
pro_demo.scrollLeft-=pro_demo1.offsetWidth 
else{ 
pro_demo.scrollLeft+=5
} 
} 
var MyMar=setInterval(Marquee,speed) 
pro_demo.onmouseover=function() {clearInterval(MyMar)} 
pro_demo.onmouseout=function() {MyMar=setInterval(Marquee,speed)}