// JavaScript Document	       l='<LINK rel="stylesheet" type="text/css" href="./stylesheets/style_';     c='.css">'; if (is_nav4 && is_mac)document.write(l+'macnav4'+c);else if (is_nav4 && is_win)document.write(l+'winnav4'+c); else if (is_mac)document.write(l+'macall'+c);else if (is_win)document.write(l+'winall'+c);