var iName=""; 
var nav=navigator.appName.indexOf("Netscape"); 
var vers=parseInt(navigator.appVersion);
if ( (nav != -1 && vers >= 3) || (vers == 4) ) {    	
	default1 = new Image(); default1.src = "images/nav/focus_off.gif";
	changed1 = new Image(); changed1.src = "images/nav/focus_on.gif";
	default2 = new Image(); default2.src = "images/nav/pubs_off.gif";
	changed2 = new Image(); changed2.src = "images/nav/pubs_on.gif";
	default3 = new Image(); default3.src = "images/nav/prog_off.gif";
	changed3 = new Image(); changed3.src = "images/nav/prog_on.gif";
	default4 = new Image(); default4.src = "images/nav/spec_off.gif";
	changed4 = new Image(); changed4.src = "images/nav/spec_on.gif";
	default5 = new Image(); default5.src = "images/nav/links_off.gif";
	changed5 = new Image(); changed5.src = "images/nav/links_on.gif";
	default6 = new Image(); default6.src = "images/nav/crd_home_off.gif";
	changed6 = new Image(); changed6.src = "images/nav/crd_home_on.gif";
	default7 = new Image(); default7.src = "images/nav/publications_off.gif";
	changed7 = new Image(); changed7.src = "images/nav/publications_on.gif";
}
			
function Ichange(p) {    
	if ( (nav != -1 && vers >= 3) || (vers == 4) ) { 
		var pSrc=eval(p+ ".src");    
		document[iName].src = pSrc;
	}  
}