<!--

//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")

}}

// -->