var scroll = null;
var margin = 0;
var bbsize = 0;
var ttsize = 0;
var speed = 0;
var delta = 0;

function scroll_init(div_p, bbsize_p, ttsize_p, speed_p, delta_p)
{
  scroll = (document.all) ? document.all[div_p]
         : (document.getElementById) ? document.getElementById(div_p)
         : null;
  if (scroll != null)
  {
    bbsize = bbsize_p;
    ttsize = ttsize_p;
    speed = speed_p;
    delta = delta_p;
    margin = bbsize;
    window.setTimeout("scroll_scroll()", speed, "Javascript");
  }
}

function scroll_scroll(div_p)
{
  margin -= delta;
  if (margin < -ttsize) { margin = bbsize; }
  scroll.style.marginTop = margin;
  window.setTimeout("scroll_scroll()", speed, "Javascript");
}