/** 
 * Scroller
 * used to replace the standard scrollbar
 *
 * Author: Jürgen Galler
 */
 
var timerID;
var updown;
var changed = 0;

function initialiseTimer(ud)
{
	this.updown = ud;
	// place initial code after this line
	i = 0;
	// and before this line
	this.timerID = window.setTimeout('mainTimer()',10);
}

function mainTimer()
{
	// place your main code after this line
	i++;

	if (this.updown == 'down')
	{
		if(changed == 0)
		{
			var down = document.getElementById('down');
			down.src = 'images/down_ovr.png';
			changed = 1;
		}

		cf.scrollBy(0,1);
	}
	else
	{
		if(changed == 0)
		{
			var up = document.getElementById('up');
			up.src = 'images/up_ovr.png';
			changed = 1;
		}

		cf.scrollBy(0,-1);
	}

	// and before this line
	this.timerID = window.setTimeout('mainTimer()',10);
}

function terminateTimer()
{
	s = document.getElementById('down');
	s.src = 'images/down.png';
	s = document.getElementById('up');
	s.src = 'images/up.png';

	changed = 0;

	// place temination code after this line
	// and before this line
	window.clearTimeout(this.timerID);
}

/** This is high-level function.
 * It must react to delta being more/less than zero.
 */
function handle(delta) {
	if (delta < 0)
	{
		if(navigator.appName == 'Microsoft Internet Explorer')
			document.cf.scrollBy(0,10);
		else
			cf.scrollBy(0,10);
	}
	else
	{
		if(navigator.appName == 'Microsoft Internet Explorer')
			document.cf.scrollBy(0,-10);
		else
			cf.scrollBy(0,-10);
	}
}

/** 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;
		/** 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)
		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;
}