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