var userAgent = navigator.userAgent.toLowerCase();   
// Figure out what browser is being used   
var browser = {   
version: (userAgent.match( /.+(?:rv|it|ra|ie)[\/: ]([\d.]+)/ ) || [])[1],   
safari: /webkit/.test( userAgent ),   
opera: /opera/.test( userAgent ),   
msie: /msie/.test( userAgent ) && !/opera/.test( userAgent ),   
mozilla: /mozilla/.test( userAgent ) && !/(compatible|webkit)/.test( userAgent )   
};   

var ver=userAgent.split('/');
    ver=ver[ver.length-1].split('.');
    var currentVersion=ver[0];    

    	if(browser.safari==true)
        {
        document.write ("<link href='App_Themes/allsec_new/mapsafari.css' rel='stylesheet'/>")
			}
		else if (browser.mozilla==true)
			{
			    if(currentVersion==2)
			        document.write ("<link href='App_Themes/allsec_new/mapmozilla.css' rel='stylesheet'/>")
			    else if(currentVersion==3)    
			        document.write ("<link href='App_Themes/allsec_new/map1.css' rel='stylesheet'/>")
			}	
			else 
			{
			document.write ("<link href='App_Themes/allsec_new/map.css' rel='stylesheet'/>")
			}