var speed=120

pro_demo2.innerHTML=pro_demo1.innerHTML 
function Marquee(){ 
var mm_mo = pro_demo.offsetWidth - pro_demo1.offsetWidth;
if(mm_mo<0) mm_mo=0;
if(pro_demo2.offsetWidth-pro_demo.scrollLeft<=mm_mo) 
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)}