function GetObj(objName){if(document.getElementById){return eval('document.getElementById("'+objName+'")')}else{return eval('document.all.'+objName)}} 
function scroll(n)
{
  temp=n;
  scrollinfo=GetObj("scroll_info");
  scrollinfo.scrollTop=scrollinfo.scrollTop+temp;
  if (temp==0) return;
  setTimeout("scroll(temp)",20);
}