function resizeWin() {
            window.focus(); window.moveTo(10,10); window.resizeTo(800,800);
         }
             
        // Zoom in function
        function zoomin() {
            factor = 3 ; 
            minx = document.mi.minX.value;
            miny = document.mi.minY.value;
            maxx = document.mi.maxX.value;
            maxy = document.mi.maxY.value;

            xdiff = ((maxx-minx)/factor) ; 
            ydiff = ((maxy-miny)/factor) ; 

            document.mi.minX.value=  (minx*1) + (xdiff*1) ; // multiply with 1 to make it a number
            document.mi.minY.value=  (miny*1) + (ydiff*1) ;
            document.mi.maxX.value=  (maxx*1) - (xdiff*1) ;
            document.mi.maxY.value=  (maxy*1) - (ydiff*1) ;

        document.mi.submit();
       }
           
        //zoom out function
        function zoomout() {
            factor = 1; 

            minx = document.mi.minX.value;
            miny = document.mi.minY.value;
            maxx = document.mi.maxX.value;
            maxy = document.mi.maxY.value;

            xdiff = ((maxx-minx)/factor) ; 
            ydiff = ((maxy-miny)/factor) ; 

            document.mi.minX.value= (minx*1) - (xdiff*1); // multiply with 1 to make it a number
            document.mi.minY.value= (miny*1) - (ydiff*1);
            document.mi.maxX.value= (maxx*1) + (xdiff*1);
            document.mi.maxY.value= (maxy*1) + (ydiff*1);

        document.mi.submit();
        }
        
        // pan function
        function pan(x,y) {
            minx = document.mi.minX.value;
            miny = document.mi.minY.value;
            maxx = document.mi.maxX.value;
            maxy = document.mi.maxY.value;

            xdiff = (maxx-minx); 
            ydiff = (maxy-miny); 

            document.mi.minY.value= ((miny*1)+(y*ydiff)) ; // multiply with 1 to make it a number
            document.mi.minX.value= ((minx*1)+(x*xdiff)) ;
            document.mi.maxX.value= ((maxx*1)+(x*xdiff)) ;
            document.mi.maxY.value= ((maxy*1)+(y*ydiff)) ;

        document.mi.submit();
        }