var Div1speed=20
var Div1=document.getElementById("Div1");
var Div3=document.getElementById("Div3");
var Div7=document.getElementById("Div7");
var Div9=document.getElementById("Div9");
var Div2=document.getElementById("Div2");
Div3.innerHTML+=Div2.innerHTML
Div7.innerHTML+=Div2.innerHTML
Div9.innerHTML+=Div3.innerHTML+Div7.innerHTML+Div2.innerHTML
function Div1Marquee(){
if(Div3.offsetTop-Div1.scrollTop<=0)
   Div1.scrollTop-=Div2.offsetHeight
else{
   Div1.scrollTop++
}
}
var Div1MyMar=setInterval(Div1Marquee,Div1speed)
Div1.onmouseover=function() {clearInterval(Div1MyMar)}
Div1.onmouseout=function() {Div1MyMar=setInterval(Div1Marquee,Div1speed)}