var _activeNav;
var _oldHtml;

function setNav(navItem){
//	activates navItem, de-activates whatever item was active previously
	if(_activeNav) document.getElementById("nav_"+_activeNav).innerHTML = _oldHtml;
	_oldHtml = document.getElementById("nav_"+navItem).innerHTML;	
	document.getElementById("nav_"+navItem).innerHTML = "<b class='activeNav_"+navItem+"'><span>"+navItem+"</span></b>";
	document.getElementById("search").className = (navItem == "find") ? "bgRed" : "bgBlack" ;
	_activeNav = navItem;
}