var userAgnt = navigator.userAgent.toLowerCase();
	var isOpera = (userAgnt.indexOf("opera")!=-1) ? true : false;
if (isOpera){
	document.write("<link rel=\"STYLESHEET\" type=\"text/css\" href=\"/css/PUB_opera.css\" media=\"screen\">")
} else if (document.getElementById && document.all){
	document.write("<link rel=\"STYLESHEET\" type=\"text/css\" href=\"/css/PUB_ie.css\" media=\"screen\">")
} else if (document.getElementById && !document.all){
	document.write("<link rel=\"STYLESHEET\" type=\"text/css\" href=\"/css/PUB_dom.css\" media=\"screen\">")
}