var currentpos,timer; 

function doZoom(size){
  document.getElementById('zoom').style.fontSize=size+'px'
  document.getElementById('zoom').style.lineHeight=2+size+'pt'
 }

function initialize() 
{ 
timer=setInterval("scrollwindow()",20);
} 
function sc(){
clearInterval(timer);	
}
function scrollwindow() 
{ 
currentpos=document.body.scrollTop; 
window.scroll(0,++currentpos); 
if (currentpos != document.body.scrollTop) 
sc();
} 
document.onmousedown=sc
document.ondblclick=initialize