function showMenu (id, show) {
  document.getElementById (id).style.visibility = (show)? "visible" : "hidden";
}