var Div4speed=20
var Div4=document.getElementById("Div4");
var Div6=document.getElementById("Div6");
var Div8=document.getElementById("Div8");
var Div10=document.getElementById("Div10");
var Div5=document.getElementById("Div5");
Div6.innerHTML+=Div5.innerHTML
Div8.innerHTML+=Div5.innerHTML
Div10.innerHTML+=Div6.innerHTML+Div8.innerHTML+Div5.innerHTML
function Div4Marquee(){
if(Div6.offsetTop-Div4.scrollTop<=0)
   Div4.scrollTop-=Div5.offsetHeight
else{
   Div4.scrollTop++
}
}
var Div4MyMar=setInterval(Div4Marquee,Div4speed)
Div4.onmouseover=function() {clearInterval(Div4MyMar)}
Div4.onmouseout=function() {Div4MyMar=setInterval(Div4Marquee,Div4speed)}