var px = 10;//mehr=schneller
var timer;
function scroll_div(val){
	clearTimeout(timer);
	var toscroll = ""
	switch (val) {
		case 1:
			px = 10 ;
			toscroll = 'termine_tabelle'; break;
		case 11:
			px = 100000 ;
			toscroll = 'termine_tabelle'; break;
		case 2:
			px = 10 ;
			toscroll = 'termine_tabelle'; break;
		case 21:
			px = 100000 ;
			toscroll = 'termine_tabelle'; break;
		case 3:
			px = 10 ;
			toscroll = 'aktuell_tabelle'; break;
		case 31:
			px = 100000 ;
			toscroll = 'aktuell_tabelle'; break;
		case 4:
			px = 10 ;
			toscroll = 'aktuell_tabelle'; break;
		case 41:
			px = 100000 ;
			toscroll = 'aktuell_tabelle'; break;
		case 5:
			px = 10 ;
			toscroll = 'sponsoren_tabelle'; break;
		case 51:
			px = 100000 ;
			toscroll = 'sponsoren_tabelle'; break;
		case 6:
			px = 10 ;
			toscroll = 'sponsoren_tabelle'; break;
		case 61:
			px = 100000 ;
			toscroll = 'sponsoren_tabelle'; break;
	}
	
	d=document.getElementById(toscroll)
	y=d.scrollTop;
	if(val==1)y-=px;
	if(val==11)y-=px;
	if(val==2)y+=px;
	if(val==21)y+=px;
	if(val==3)y-=px;
	if(val==31)y-=px;
	if(val==4)y+=px;
	if(val==41)y+=px;
	if(val==5)y-=px;
	if(val==51)y-=px;
	if(val==6)y+=px;
	if(val==61)y+=px;
	if(y<=d.scrollHeight-d.offsetHeight+px&&y>=0-px){
	d.scrollTop=y;
	timer=setTimeout('scroll_div('+val+')',50);
	}
	if(y<0||y>d.scrollHeight-d.offsetHeight){
	clearTimeout(timer);
	}
}