var s,s2,s3,s4,timer;
function init(){
	s=getid("div1");
	s2=getid("div2");
	s3=getid("div3");
	s4=getid("scroll");
s4.style.width=(s2.offsetWidth*12)+"px";
s3.innerHTML=s2.innerHTML;
timer=setInterval(mar,10);
}
function mar(){
if(s2.offsetWidth<=s.scrollLeft){
s.scrollLeft-=s2.offsetWidth;
}else{s.scrollLeft++;}
}
function getid(id){
	return document.getElementById(id);
}

window.onload=init;