// JavaScript Document

var px = 50;//mehr=schneller 
var timer; 
function scrollDenDiv(val){ 
clearTimeout(timer); 
d=document.getElementById('left-menu-box') 
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 change(neu) {
document.bildGrafik.src = neu;
return;
}
function change2(neu) {
document.bildGrafik2.src = neu;
return;
}