// javascript document

var speed=10;
var tab=document.getelementbyid("pro");
var tab1=document.getelementbyid("pro1");
var tab2=document.getelementbyid("pro2");
tab2.innerhtml=tab1.innerhtml;
function marquee(){
if(tab2.offsetwidth-tab.scrollleft<=0)
tab.scrollleft-=tab1.offsetwidth
else{
tab.scrollleft++;
}
}
var mymar=setinterval(marquee,speed);
tab.onmouseover=function() {clearinterval(mymar)};
tab.onmouseout=function() {mymar=setinterval(marquee,speed)};