var px = 5;//mehr=schneller 
var timer; 
function scrollDenDiv(val){ 
clearTimeout(timer); 
d=document.getElementById('content') 
y=d.scrollTop; 
if(val==1)y-=px; 
if(val==2)y+=px; 
if(y<=d.scrollHeight-d.offsetHeight+px&&y>=0-px){ 
d.scrollTop=y; 
timer=setTimeout('scrollDenDiv('+val+')',50); 
} 
if(y<0||y>d.scrollHeight-d.offsetHeight){ 
clearTimeout(timer); 
} 
} 

function scrollhidden()
{
	document.getElementById('content').style.overflow='hidden';
	document.getElementById('div1').style.visibility='visible';
	document.getElementById('div3').style.visibility='visible';
}
