if (document.getElementById) document.write('<link rel="stylesheet" href="styles/style_dom.css" type="text/css">'); 
else document.write('<link rel="stylesheet" href="styles/style_notdom.css" type="text/css">');