var hidemenues = false;
var toHide = "";
var verzoegerung;

function show(menu) {
	hidemenues = false;
	i = 1;
	while (document.getElementById("ron" + i)) {
		document.getElementById("ron" + i).style.display = "none";
		i++;
	}
	if (menu != "foo") document.getElementById(menu).style.display = "block";
}
function hidenow() {
	if (hidemenues) {
		document.getElementById(toHide).style.display = "none";
	}
}
function hide(menu) {
	hidemenues = true;
	toHide = menu;
	verzoegerung = window.setTimeout("hidenow()",10);
}
function keep() {
	hidemenues = false;
}