	var scrolling = 0;
	var dninterval;
	var upinterval;
	var textfield;
	
	if (document.images)
   	{
    	upon= new Image();
     	upon.src="Images/new/arrows/up_over.png";  

		upoff= new Image();
		upoff.src="Images/new/arrows/up.png";
		
		downon= new Image();
     	downon.src="Images/new/arrows/down_over.png";  

		downoff= new Image();
		downoff.src="Images/new/arrows/down.png";
		
    }

	function lightup(imgName)
	 {
	   if (document.images)
		{
		  imgOn=eval(imgName + "on.src");
		  document.images[imgName].src= imgOn;
		}
	 }
	
	function turnoff(imgName)
	 {
	   if (document.images)
		{
		  imgOff=eval(imgName + "off.src");
		  document.images[imgName].src= imgOff;
		}
	 }

	function scrollDownLine()
	{
		 document.getElementById("scrollDiv").scrollTop += 1;
	}
	
	function scrollUpLine()
	{
		document.getElementById("scrollDiv").scrollTop -= 1;
	}
	
	function startScrollDown () {
		dninterval = setInterval("scrollDownLine()", 3);
		//document.images["downarrow"].src = "Images/arrows_dn_over.gif";
		lightup('down');
	}
	
	function stopScrollingDown () {
		clearInterval(dninterval);
		//document.images["downarrow"].src = "Images/arrows_dn.gif";
		turnoff('down');
	}
	
	function startScrollUp () {
		upinterval = setInterval("scrollUpLine()", 3);
		//document.images["uparrow"].src = "Images/arrows_up_over.gif";
		lightup('up');
	}
	
	function stopScrollingUp () {
		clearInterval(upinterval);
		//document.images["uparrow"].src = "Images/arrows_up.gif";
		turnoff('up');
	}

	/** This is high-level function.
	 * It must react to delta being more/less than zero.
	 */
	function handle(delta) {
			if (delta > 0)
				document.getElementById("scrollDiv").scrollTop -= 14;
			else
				document.getElementById("scrollDiv").scrollTop += 14;
	}
	
	/** 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.
                 */
        } 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;
	}
	
	/** Initialization code. 
	 * If you use your own event management code, change it as required.
	 */
	if (window.addEventListener)
			/** DOMMouseScroll is for mozilla. */
			window.addEventListener('DOMMouseScroll', wheel, false);
	/** IE/Opera. */
	window.onmousewheel = document.onmousewheel = wheel;