function showMenu(menu) {
	    document.getElementById(menu).style.visibility = 'visible';
  }
  function hideMenu(menu) {
	    document.getElementById(menu).style.visibility = 'hidden';
  }