var allHiddenMenus = new Array('defaultNavVisible', 'homeNavHidden', 'archivesNavHidden');

	function removeMenus() {
	
		for(i=0;i<allHiddenMenus.length;i++) {
		document.getElementById(allHiddenMenus[i]).style.visibility='hidden';
		}	
	}
	
	function pullHiddenMenu(hiddenMenu) {
	
	document.getElementById(hiddenMenu).style.visibility='visible';
	document.getElementById(hiddenMenu).style.display='block';
	}