function doScroll()
{
  scrollPos += scrollDir*4;
  if(scrollPos<-1313)
  {
    scrollDir = +1;
    scrollPos = -1313;
  }
  if(scrollPos>0)
  {
    scrollDir = -1;
    scrollPos = 0;
  }  
  Element.setStyle($('animation'), {'marginLeft': scrollPos + 'px'});
  window.setTimeout('doScroll()', 100);
}
function scrollInit()
{
  window.setTimeout('doScroll()', 1500);
}
var scrollPos = 0;
var scrollDir = -1;
Event.observe(window, 'load', scrollInit);