function nav_hilo(objstr, highlight){
	if(highlight == 1){
		document.getElementById("hilo_" + objstr).src = "images/nav_hi.png";
	} else {
		document.getElementById("hilo_" + objstr).src = "images/nav_lo.png";
	}
}