var pos=0;
var live=0;
var move;

function scroll_up(){
  if(live)
  {
  if(pos<0)
  pos+=5;
  document.getElementById("scroll_view").style.marginTop=pos+"px";
  move=setTimeout("scroll_up()",100)
  }
}

function scroll_down(){
  if(live)
  {
  if(pos>document.getElementById("scroll_view").offsetHeight*(-1)+document.getElementById("scroll_div").offsetHeight)
  pos-=5;
  document.getElementById("scroll_view").style.marginTop=pos+"px";
  move=setTimeout("scroll_down()",100)
  }
}


function call_up(){
live=1;
scroll_up();
}


function call_down(){
live=1;
scroll_down();
}


function call_stop(){
live=0;
}