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

		menu2.onactivate   = function() {document.getElementById("applicants").className="menu_hover";};
		menu2.ondeactivate = function() {document.getElementById("applicants").className="menu_link";};

		menu3.onactivate   = function() {document.getElementById("residents").className="menu_hover";};
		menu3.ondeactivate = function() {document.getElementById("residents").className="menu_link";};

		menu4.onactivate   = function() {document.getElementById("owners").className="menu_hover";};
		menu4.ondeactivate = function() {document.getElementById("owners").className="menu_link";};

		menu5.onactivate   = function() {document.getElementById("contact").className="menu_hover";};
		menu5.ondeactivate = function() {document.getElementById("contact").className="menu_link";};

		document.getElementById("home").onmouseover = function() {
			ms.hideCurrent();
    	this.className = "menu_hover";
		}
		document.getElementById("home").onmouseout = function() {this.className="menu_link";}
  } // if
} // function