//  Netscape Navigator ->  Netscape
//  Internet Explorer  ->  Explorer
//  Safari  ->  Safari
//  Opera  ->  Opera
function getBrowserName()
{
    var aName  = navigator.appName.toUpperCase();
    var uName  = navigator.userAgent.toUpperCase();
    if (uName.indexOf("SAFARI")    >= 0)  return "Safari";
    if (uName.indexOf("OPERA")     >= 0)  return "Opera";
    if (aName.indexOf("NETSCAPE")  >= 0)  return "Netscape";
    if (aName.indexOf("MICROSOFT") >= 0)  return "Explorer";
    return "";
}


function selectCSS(css_path)
{
	var browser = getBrowserName();
	if (browser == "Netscape"){
		dirName = "nn.css";
	}
	else if (browser == "Explorer"){
		dirName = "ie.css";
	}
	else if (browser == "Safari"){
		dirName = "saf.css";
	}
	else if (browser == "Opera"){
		dirName = "op.css";
	}
	else 	dirName = "ie.css";
	
	document.write("<link rel='stylesheet' href='../../../english/css-js/"+css_path+""+dirName+"' type='text/css'>");
}