var theTimer;
      
function scroll(inFrame, inIncrement, inDir)
{
  if (theTimer)
    clearTimeout(theTimer);

  if (window.frames[inFrame])
  {
    if (inDir == "vert")
      window.frames[inFrame].scrollBy(0, inIncrement);
    else
      window.frames[inFrame].scrollBy(inIncrement, 0);

    theTimer = setTimeout("scroll('" + inFrame + "'," + inIncrement + ",'" + inDir + "')", 10);
  }
}

function stopScroll()
{
  if (theTimer)
    clearTimeout(theTimer);
}