function getDiv( id ) {
if (document.all) {
return document.all[id].style;
} else {
return document.getElementById(id).style;
}
return 0;
}
function showMenu() {
var dv = getDiv("navmenu");
if (dv) {
dv.visibility = "visible";
}
return 0;
}
function showMenu2() {
var dv = getDiv("nav2");
if (dv) {
dv.visibility = "visible";
}
return 0;
}
function hideMenu() {
document.getElementById('navmenu').style.visibility='hidden';
document.getElementById('nav2').style.visibility='hidden';
}


var menuTimer = 0;
function sT() {
menuTimer = setTimeout("hideMenu()",2000);
}
function cT() {                                                         
clearTimeout(menuTimer);
}
window.onload = hideMenu;