if (!document.getElementById)
    document.getElementById = function() { return null; }
function initializeMenu(micromenuId, actuatorId) {
    var micromenu = document.getElementById(micromenuId);
    var actuator = document.getElementById(actuatorId);
    if (micromenu == null || actuator == null) return;
    actuator.onclick = function() {
        var display = micromenu.style.display;
        this.parentNode.style.backgroundImage =
            (display == "none") ? "url(images/minus.gif)" : "url(images/plus.gif)";
        micromenu.style.display = (display == "none") ? "block" : "none";
        return false;
    }
}