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.backgroundImage = 'url(/graphics/plus2.gif)';
   actuator.onclick = function() {
   var display = menu.style.display;
   this.parentNode.style.backgroundImage = 
       (display == 'block') ? 'url(/graphics/plus2.gif)' : 'url(/graphics/minus2.gif)';
   menu.style.display = (display == 'block') ? 'none' : 'block';

   return false;
   }
}