function hideMenu (menuName) {
}

function showMenu (menuName) {
}

function hideAllMenus() {
}

function toggleMenu (menuName) {
}

function highlightLevel1Cell(givenCell) {
  // to debug
  // givenCell.style.backgroundColor.value='000000';
}

function unhighlightLevel1Cell(givenCell) {
  // to debug
  // givenCell.style.backgroundColor.value='FF0000';
}