//
// global layers-show-and-hide function
//
function show(name) {
              getElement(name).visibility = "visible";
}

function hide(name) {
              getElement(name).visibility = "hidden";
}
//
// additional functions used in main navigation
//
function killAll() {
         hide('menu0');
         hide('menu1');
         hide('menu2');
         hide('menu3');
         hide('menu4');
         hide('menu5');
         hide('menu6');
	 hide('menu7');
	 hide('menu8');
	 hide('menu9');
	 hide('menu10');
	 hide('menu11');
	 hide('menu12');
}

var timedelay = 1000;
var openflag = "";

function hideWann(which) {
	         openflag = 'menu' + which;
	         timedelay = setTimeout('hide(openflag)',1000);
}

function dontHide() {
	         clearTimeout(timedelay);
}