function hov(elem, state) {if (elem) {if (tbl = document.getElementById("menu_"+elem)) {if (state) {tbl.style.display = "block";}else {tbl.style.display = "none";}}}}
function addToFavs(strUrl, strTitle) {if (navigator.appName == "Microsoft Internet Explorer" && parseInt(navigator.appVersion) >= 4) {window.external.AddFavorite(strUrl, strTitle);} else {var msg = "Please use CTRL+D to bookmark this page";alert(msg);}}
function fncGetEmailAddr(strMailbox, strFQDN) {return strMailbox + "@" + strFQDN;}