var hidemenues = false;
var toHide = "";
function show(menu1) {
	i = 0;
	while (document.getElementById("sub" + i)) {
		document.getElementById("sub" + i).style.display = "none";
		i++;
	}
	document.getElementById(menu1).style.display = "block";
}
function hidenow() {
	if (hidemenues) {
		document.getElementById(toHide).style.display = "none";
	}
}
function hide(menu1) {
	toHide = menu1;
	hidemenues = true;
	window.setTimeout("hidenow()",1500);
}