<!--
	// This fixes the Mozilla hidden menu issue (i.e., it only looks right after you reload the page via the F5 key when the cache is empty).
	function reloadPage()
	{
		if (document.cookie === "pageReloaded=true")
		{
			// Assert: The page has already been reloaded, so do nothing (i.e., do not reload the page).
		}
		else
		{
			// Assert: The browser has cookies turned off or the page has not been reloaded.
			document.cookie = "pageReloaded=true";
			if (document.cookie === "pageReloaded=true")
			{
				// Assert: The browser has cookies turned on and the page has not been reloaded.
				window.location.replace(window.location);  // Note that window.location.reload() worked as expected but didn''t fix the hidden menue issue.
			}
			else
			{
				// Assert: The browser has cookies turned off, so do nothing.
			}  
		}
	}

	// Caches all rollover images when invoked:
	function cacheImages()
	{
		(new Image()).src = "assets/images/rollovers/contact-us_f2.gif";
		(new Image()).src = "assets/images/rollovers/documents_f2.gif";
		(new Image()).src = "assets/images/rollovers/get-involved_f2.gif";
		(new Image()).src = "assets/images/rollovers/links_f2.gif";
		(new Image()).src = "assets/images/rollovers/patriot-act_f2.gif";
		(new Image()).src = "assets/images/rollovers/welcome_f2.gif";
	}		
	
	function unhideMenu(elementName, numMenus)
	/*
		This function unhides the hidden menu named elementName and hides all other menus.
		
		Assumes that the names of the hidden menus are of the form "menu1", "menu2", etc.  
		Assumes that numMenus is the total number of hidden menus currently being used.
	*/
	{
		var elementObject;
		var i, s;
		
		for (i = 1; i <= numMenus; i++)
		{
			s = "menu" + i;
			elementObject = document.getElementById(s);
			
			if (elementName === s)
				elementObject.style.visibility = "visible";
			else
				elementObject.style.visibility = "hidden";
		}
	}
			
	function hideMenus(numMenus)
	/*
		This function hides all hidden menus currently being used.
		
		Assumes that the names of the hidden menus are of the form "menu1", "menu2", etc.  
		Assumes that numMenus is the total number of hidden menus currently being used.
	*/
	{
		var elementObject;
		var i, s;
		
		for (i = 1; i <= numMenus; i++)
		{
			s = "menu" + i;
			elementObject = document.getElementById(s);
			elementObject.style.visibility = "hidden";
		}
	}	
//-->