sc_int=0;
function page_top(){
doc_sctop = document.body.scrollTop;
  if(doc_sctop > 250)
     sc_int=50;
  else
     sc_int = doc_sctop/5;
doc_sctop -= sc_int;
  if(sc_int < 1)
     doc_sctop=0;
scroll(0,doc_sctop);
if(doc_sctop > 0)
   setTimeout("page_top()",3);
 }