document.write ("<script language='JavaScript' src='/f/library/scripts/functions.js'></script>");

styleSheet = "default"
if (navigator.appName == "Netscape" && navigator.appVersion.charAt(0) == "4") {
styleSheet = styleSheet + "_nav";
if (navigator.platform == "MacPPC") {
styleSheet = styleSheet + "_mac";
}
}
styleSheet = styleSheet + ".css";
document.write ("<link rel='stylesheet' href='/f/library/styles/"+styleSheet+"'>");