function open_menu() {
		for ( row = 0; row < menuArray.length; ++row ) {
			var currRow = document.getElementById(menuArray[row]);
			if ( currRow ) {
				currRow.className="current";
				currRow.style.display="";
			}
		}
		
		function set_href(id) {
			var currHref = document.getElementById(id);
			return currHref.HREF
		}
	}