function loadMenus() {
  loadXMLDoc('/cgi-bin/ajax/loadmenus.pl', true, '');
}
function showMenu(id,topsect) {
  var i = 1;
  while (document.getElementById('menu'+i) != null) {
    if (i != id) {
      document.getElementById('menu'+i).style.display = 'none';
    }
    i++;
  }
  if (id > 0) {
    document.getElementById('menu'+id).style.display = 'block';
    if (document.getElementById('menu'+id).innerHTML == '') {
      loadXMLDoc('/cgi-bin/ajax/makemenu.pl?id='+id+'&sect='+topsect, true, '');
    }
  }
}