ie=(document.all)?1:0;
    	if (!ie) 
    		{ document.write("<link rel='stylesheet' href='css/arrakis_ns.css' TYPE='text/css'>"); }
    	 else { document.write("<link rel='stylesheet' href='css/arrakis_ie.css' TYPE='text/css'>");
  		}