if (document.getElementById && !document.all) {
	document.write("<link rel=stylesheet type='text/css' href='/resource/styles/styles_ns.css'>");
} else {
	document.write("<link rel=stylesheet type='text/css' href='/resource/styles/styles.css'>");
	document.close();
}