var speed_3=12; //数字越大速度越慢
var tab_3=document.getElementById("demo_3");
var tab_31=document.getElementById("demo_31");
var tab_32=document.getElementById("demo_32");
tab_32.innerHTML=tab_31.innerHTML;
function Marquee_3(){
if(tab_3.scrollLeft>=tab_32.offsetWidth){
tab_3.scrollLeft-=tab_32.offsetWidth
}else{
tab_3.scrollLeft++
}
}
var MyMar_3=setInterval(Marquee_3,speed_3);
tab_3.onmouseover=function() {clearInterval(MyMar_3)};
tab_3.onmouseout=function() {MyMar_3=setInterval(Marquee_3,speed_3)};