<!--//new browser testagent = navigator.userAgent;browserVer = (agent.indexOf("Mozilla/3") == -1 &&		agent.indexOf("Mozilla/4") == -1 &&		agent.indexOf("Mozilla/5") == -1) ? 0 : 1;// - - - - - - - - - - - - - - - if (browserVer == 1) {                	    nav_who_philosophy = new Image(86,16);		nav_who_philosophy.src = "../images/nav/nav_who_philosophy_off.gif";       		nav_who_philosophy_on = new Image(86,16);		nav_who_philosophy_on.src = "../images/nav/nav_who_philosophy_on.gif";                	    nav_who_history = new Image(69,16);		nav_who_history.src = "../images/nav/nav_who_history_off.gif";       		nav_who_history_on = new Image(69,16);		nav_who_history_on.src = "../images/nav/nav_who_history_on.gif";                	    nav_who_team = new Image(60,16);		nav_who_team.src = "../images/nav/nav_who_team_off.gif";       		nav_who_team_on = new Image(60,16);		nav_who_team_on.src = "../images/nav/nav_who_team_on.gif";}// - - - - - - - - - - - - - - - function hiLite(imgDocID,imgObjName) {// manages mouseOver animations//   imgDocID - the name or number of the document image to be replaced//   imgObjName - the name of the image object to be swapped inif (browserVer == 1) {document.images[imgDocID].src = eval(imgObjName + ".src")}}// -->