function InitNavBar()
	{
		try
		{
			// highlight the navbar
			var parentDivId = document.getElementById(pageName).parentNode.parentNode.parentNode.getAttribute('id');
			document.getElementById(pageName).className = parentDivId + "On";
		}
		catch (exception)
		{
			// do nothing in non-compliant browsers
		}
	}