<!--

//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_what_business = new Image(90,16);
		nav_what_business.src = "../images/nav/nav_what_business_off.gif";       
		nav_what_business_on = new Image(90,16);
		nav_what_business_on.src = "../images/nav/nav_what_business_on.gif";
                
	    nav_what_fisheries = new Image(90,16);
		nav_what_fisheries.src = "../images/nav/nav_what_fisheries_off.gif";       
		nav_what_fisheries_on = new Image(90,16);
		nav_what_fisheries_on.src = "../images/nav/nav_what_fisheries_on.gif";
                
	    nav_what_litigation = new Image(91,16);
		nav_what_litigation.src = "../images/nav/nav_what_litigation_off.gif";       
		nav_what_litigation_on = new Image(91,16);
		nav_what_litigation_on.src = "../images/nav/nav_what_litigation_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")

}}

// -->