// JScript File

var scrollkont = 0;
    
    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;
    }      
    function handle(delta) 
    {
        var mapImage = document.getElementById('MapControl1_Image');
        if (delta < 0)
        {
            if((mapImage.style.visibility = 'visible') && (scrollkont == 0))
            {
                    scrollkont=1;
                    ZoomOut();                    
            }
        }
        else
        {
            if((mapImage.style.visibility = 'visible') && (scrollkont == 0))
            {   
                    scrollkont=1;
	                ZoomIn();
            }		        
        }
        scrollkont=0;
    }
    function mapWheel()
    {
  	if (window.addEventListener) {
  		/** DOMMouseScroll is for mozilla. */
  		window.addEventListener('DOMMouseScroll', wheel, false);
  	}
  	/** IE/Opera. */
  	else if (window.attachEvent) {
  		window.attachEvent('onmousewheel', wheel);
        window.onmousewheel = document.onmousewheel = wheel;  		
  	}
  	else {
        window.onmousewheel = document.onmousewheel = wheel;  		
  	}
  	}
    function removeWheel()
    {
        window.onmousewheel = document.onmousewheel = null;  		
  	}