function init() {

			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("nav").className = "hover"; };
				menu1.ondeactivate = function() { document.getElementById("nav").className = ""; }


			}
		}