function scrollUp( el ) {
  el = document.all(el);
  if( el.direction == "up" ) {
    if( el.scrollAmount == 0 )
      el.scrollAmount = 1;
    else 
      el.scrollAmount++;
  }
  else {
    el.direction = "up";
    el.scrollAmount = 1;
  }
}

function scrollDown( el ) {
  el = document.all(el);
  if( el.direction == "down" ) {
    if( el.scrollAmount == 0 )
      el.scrollAmount = 1;
    else 
      el.scrollAmount++;
  }
  else {
    el.direction = "down";
    el.scrollAmount = 1;
  }
}

function scrollStop( el ) {
  el = document.all(el);
  el.scrollAmount = 0;
}

with( document ) {
  // placeholder for future error handling
}