function menuenable() {
		
	}

	function menuoutput() {
		document.writeln("");
		menuenable();
	}
  function showmenu() {
    document.getElementById('menu').style.display="block";
  }