app = navigator.appName;
mz = (app == "Mozilla");
if (mz) document.writeln ("<LINK REL='stylesheet' HREF='hpl_mozilla.css' TYPE='text/css'>");
else
document.writeln ("<LINK REL='stylesheet' HREF='hpl_explorer.css' TYPE='text/css'>");