 var scrollBox  = document.getElementById('scrollBox');
 var viewHeight = document.getElementById('scrollBox').clientHeight; //document.body.clientHeight;
 var contentHeight = document.getElementById('scrollContent').offsetTop;
 var viewHeight = contentHeight;
 var viewPos    =  0; viewHeight; // / 3;
 var viewSpeed  = 50;
 var viewPixels =  1;
 var boxHeight  =  0;
 var viewMove   = viewPixels; 
 var initDelay  = viewSpeed * 10;
 
 // find the height of the DIV called 'scrollBox'
 if(scrollBox.offsetHeight) {
   boxHeight=scrollBox.offsetHeight;
   boxHeight=viewHeight; 
 } else {
   boxHeight=document.defaultView.getComputedStyle(document.getElementById('scrollBox'),"").getPropertyValue("height");
   boxHeight=eval(boxHeight.substring(0,boxHeight.indexOf("p")));
 }
 setTimeout('startScroller()',initDelay);

 function out()  { viewMove=viewPixels; }
 function over() { viewMove=0; }

 
 function startScroller() {
  var scrollBox=document.getElementById('scrollBox');
  scrollBox.style.visibility='visible';
  scrollBox.style.top=viewHeight;
  continueScrolling();
 }
 
 function continueScrolling() {
  viewPos=(viewPos-viewMove);
  scrollBox.style.top=viewPos+'px';
  if(viewPos<0-boxHeight) { 
    viewPos=150; //viewHeight / 3; 
  }
  setTimeout('continueScrolling()',viewSpeed);
 }
