var mapfiles = { mapserver1: "mapserver.ashx?key=0805",
                 mapserver_ov: "mapserver.ashx?key=0805_nav"
               }
			   
var extents = { maxExtent: new OpenLayers.Bounds(7500, -301500, 32000, -279000),
                restrictedExtent: new OpenLayers.Bounds(7500, -301500, 32000, -279000),
                maxExtent_ov: new OpenLayers.Bounds(7500, -301500, 32000,  -279000)
             }
			 
var ZOOM_LEVEL_POI = 8;
var ZOOM_LEVEL_PLACE = 5;
var MAP_COORD_SYS = '27492';
var MAPSERVER_SELECTION = false;