function init() {
if (TransMenu.isSupported()) {
TransMenu.initialize();







menu1.onactivate = function() { document.getElementById("sitenav").className = "hover"; };
menu1.ondeactivate = function() { document.getElementById("sitenav").className = ""; }



}

}