function scroll(i, name_id){
  with(document.getElementById(name_id)){
    var pos = scrollTop+i;
    if(pos<0)pos=0;
    else if(pos>=scrollHeight)pos=scrollHeight-1;
    scrollTop=pos;
    }
  }