<!--
var latest_menu;
var menus = new Object;

function show_menu(id) {
  var element = document.getElementById(id);
  element.style.display = 'block';
  menus[id] = id;
  latest_menu = id;

  hide_menus_but(id);
}

function hide_menus_but(id) {
  for (var i in menus) {
    if (id != i) {
      element = document.getElementById(i);
      element.style.display = 'none';
    }
  }
}

function hide_menus_all() {
  for (var i in menus) {
      element = document.getElementById(i);
      element.style.display = 'none';
  }
}
-->