function init() {
      //==========================================================================================
      // if supported, initialize TransMenus
      //==========================================================================================
      // Check isSupported() so that menus aren't accidentally sent to non-supporting browsers.
      // This is better than server-side checking because it will also catch browsers which would
      // normally support the menus but have javascript disabled.
      //
      // If supported, call initialize() and then hook whatever image rollover code you need to do
      // to the .onactivate and .ondeactivate events for each menu.
      //==========================================================================================
      if (TransMenu.isSupported()) {
        TransMenu.initialize();

        // hook all the highlight swapping of the main toolbar to menu activation/deactivation
        // instead of simple rollover to get the effect where the button stays hightlit until
        // the menu is closed.
        menu1.onactivate = function() { document.getElementById("liguria").className = "hover"; };
        menu1.ondeactivate = function() { document.getElementById("liguria").className = ""; };

        menu2.onactivate = function() { document.getElementById("lombardia").className = "hover"; };
        menu2.ondeactivate = function() { document.getElementById("lombardia").className = ""; };

        menu3.onactivate = function() { document.getElementById("umbria").className = "hover"; };
        menu3.ondeactivate = function() { document.getElementById("umbria").className = ""; };

        menu4.onactivate = function() { document.getElementById("lanzio").className = "hover"; };
        menu4.ondeactivate = function() { document.getElementById("lanzio").className = ""; };
        
        menu5.onactivate = function() { document.getElementById("story").className = "hover"; };
        menu5.ondeactivate = function() { document.getElementById("story").className = ""; };


      }
    }