if (!document.getElementById)
      document.getElementById = function() { return null; }
  
function initializeMenu(menuId, actuatorId) {
      var menu = document.getElementById(menuId);
      var actuator = document.getElementById(actuatorId);
  
    if (menu == null || actuator == null) return;
  
    //if (window.opera) return; // I'm too tired
  
    actuator.parentNode.style.listStyleImage = "url(/images/plus.gif)";
      actuator.onclick = function() {
          var display = menu.style.display;
          this.parentNode.style.listStyleImage =
              (display == "block") ? "url(/images/plus.gif)" : "url(/images/minus.gif)";
          menu.style.listStyleImage = "url(/images/square.gif)";
          menu.style.display = (display == "block") ? "none" : "block";
  
        return false;
      }
  }