/*
Navigation
*/

var nav_hilite = (nav_hilite)? nav_hilite:false;

function set_nav_hilite()
{
	if(nav_hilite && document.getElementById)
	{
		if(document.getElementById(nav_hilite))
			document.getElementById(nav_hilite).className = 'nav_hilite';
	}
}

onload_fns[onload_fns.length] = 'set_nav_hilite()';