/* page navigation functions */

var _activeNav;
var _oldHtml;

function setNav(navItem){
	if(_activeNav) document.getElementById("nav_"+_activeNav).innerHTML = _oldHtml;
	_oldHtml = document.getElementById("nav_"+navItem).innerHTML;	
	document.getElementById("nav_"+navItem).innerHTML = "<b class='activeNav_"+navItem+"'>&nbsp</b>";
	_activeNav = navItem;
}