function domainScroll()
{
  if(running){
		domain_div.style.pixelTop = (domain_div.style.pixelTop-1) % domain_span.offsetHeight;
		//domain_div2.style.pixelTop = (domain_div2.style.pixelTop-1) % domain_span2.offsetHeight;
	}
}
timer1=setInterval('domainScroll()', 250) //更改第二个参数可以改变速度，值越小，速度越快。