var speed=30;
var demo=document .getElementById ("demo");
var demo1=document .getElementById ("demo1");
var demo2=document .getElementById ("demo2");
demo2.innerHTML=demo1.innerHTML;
function Marquee()
{
  demo.scrollTop++;
  if(demo2.offsetTop-demo.scrollTop<=0) 
  demo.scrollTop-=demo1.offsetHeight;
} 
var MyMar=setInterval(Marquee,speed);
demo.onmouseover=function(){clearInterval(MyMar);} 
demo.onmouseout=function(){MyMar=setInterval(Marquee,speed);}