function makeCurrentNav(name,linkname)
{
	document.getElementById(name).style.backgroundColor= "white";
	document.getElementById(linkname).style.color= "black";
	document.getElementById(linkname).style.cursor= "default";
}
function navRollOver(obj, state) {
  document.getElementById(obj).className = (state == 'on') ? 'nav-highlight' : 'navtable';
}