function show_subnavi(el) {
	if (el.getElementsByTagName('ul')[0]){
		el.getElementsByTagName('ul')[0].style.display='block'; 
		if (slider1){
			slider1.dispose();
		}
	}
	return false;
}

function hide_subnavi(el) {
	if (el.getElementsByTagName('ul')[0]){
		el.getElementsByTagName('ul')[0].style.display='none'; 
	}
	return false;
}

var timer; 
var i=0; 

function scroll_down(){ 
	clearTimeout(timer); 
	d=document.getElementById('content') 
	y=d.scrollTop; 
	if(y<d.scrollHeight-d.offsetHeight){ 
		y++; 
		d.scrollTop=y; 
		timer=setTimeout('scroll_down()',50); 
	} 
	else{ 
		clearTimeout(timer); 
	} 
} 

function scroll_up(){ 
	clearTimeout(timer); 
	d=document.getElementById('content') 
	y=d.scrollTop; 
	if(y<d.scrollHeight-d.offsetHeight){ 
		y--; 
		d.scrollTop=y; 
		timer=setTimeout('scroll_up()',50); 
	} 
	else{ 
		clearTimeout(timer); 
	} 
}

// mouse wheel code from http://adomas.org/javascript-mouse-wheel/
	function handle(delta) {
		slider1.setValueBy(-delta);
	}

	/** Event handler for mouse wheel event. */
	function wheel(event){
		var delta = 0;
		if (!event) /* For IE. */
			event = window.event;
		if (event.wheelDelta) { /* IE/Opera. */
			delta = event.wheelDelta/(120*($('content').scrollHeight/30));
			/** In Opera 9, delta differs in sign as compared to IE. */
			if (window.opera)
				delta = -delta;
		} else if (event.detail) { /** Mozilla case. */
			/** In Mozilla, sign of delta is different than in IE.
			* Also, delta is multiple of 3.
			*/
			//abhängig von der Größe des zu scrollenden divs
			delta = -event.detail/(3*($('content').scrollHeight/30));
		}

		/** If delta is nonzero, handle it.
		* Basically, delta is now positive if wheel was scrolled up,
		* and negative, if wheel was scrolled down.
		*/
		if (delta)
			handle(delta);

		/** Prevent default actions caused by mouse wheel.
		* That might be ugly, but we handle scrolls somehow
		* anyway, so don't bother here..
		*/
		if (event.preventDefault)
			event.preventDefault();
		
		event.returnValue = false;
	}