var scrollBox  = document.getElementById('scrollBox');
var viewHeight = 0;
var viewPos    = viewHeight;
var viewSpeed  = 30;
var viewPixels = 1;
var boxWidth  = 0;
var viewMove   = viewPixels; 

function out()  { viewMove=viewPixels; }
function over() { viewMove=0; }

function divHeight() {
 // find the height of the DIV called 'scrollBox'
 if(scrollBox.offsetWidth) {
  boxWidth=scrollBox.offsetWidth;
 } else {
  boxWidth=document.defaultView.getComputedStyle(document.getElementById('scrollBox'),"").getPropertyValue("height")
  boxWidth=eval(boxWidth.substring(0,boxWidth.indexOf("p")))
 }
  startScroller();
}

function startScroller() {
 var scrollBox=document.getElementById('scrollBox');
 scrollBox.style.visibility='visible';
 scrollBox.style.left=viewHeight;
 continueScrolling();
}

function continueScrolling() {
 viewPos=(viewPos-viewMove);
 scrollBox.style.left=viewPos+'px';
 if(viewPos<0-boxWidth) { viewPos=viewHeight; }
 setTimeout('continueScrolling()',viewSpeed);
}