var px = 15;//mehr=schneller

var timer;

function scrollDenDiv(val, period){
	
	clearTimeout(timer);

	d=document.getElementById('col1');

	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;
		
		s1.setValue(y/(d.scrollHeight-d.offsetHeight));

		if(period)
		timer=setTimeout('scrollDenDiv('+val+', true)',50);

	}

	if(y<0||y>d.scrollHeight-d.offsetHeight){

		clearTimeout(timer);

	}

} 

function scrolling() {

	s=document.getElementById('col1');

	if(s.scrollHeight > s.offsetHeight) {

		document.getElementById('scroll_up').style.display = "block";	
		document.getElementById('scroll_down').style.display = "block";	
		document.getElementById('handle').style.display = "block";
		document.getElementById('slider').style.background = "url(./files/img/slider_bg.jpg)";

	} else {

		document.getElementById('scroll_up').style.display = "none";	
		document.getElementById('scroll_down').style.display = "none";	
		document.getElementById('handle').style.display = "none";	
		document.getElementById('slider').style.background = "none";
		
	}

}

function wheel(event){

        var delta = 0;
        if (!event) /* For IE. */
                event = window.event;
        if (event.wheelDelta) { /* IE/Opera. */
                delta = event.wheelDelta/120;
                /** 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.
                 */
                delta = -event.detail/3;
        }
        /** 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 < 0) {
            scrollDenDiv(2, false);
		} else {
			scrollDenDiv(1, false);
		}
        /** 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;
}

function load() {
	if (window.addEventListener) 
        /** DOMMouseScroll is for mozilla. */
        window.addEventListener('DOMMouseScroll', wheel, false);
	/** IE/Opera. */
	window.onmousewheel = document.onmousewheel = wheel;
}

function scrollglide(value){

	d=document.getElementById('col1');
	
	scroll_height = d.scrollHeight-d.offsetHeight;
	
	y=d.scrollTop;

	y = value*scroll_height;
	
	d.scrollTop=y;
}