var MenuTimeout = 500;
var MenuTimeoutID = 0;
var MenuLastElement = 0;

function MenuShow(id, onoff) {
         document.getElementById(id).style.visibility = (onoff ? "visible" : "hidden");
}

function MenuCloseLast() {
	MenuShow(MenuLastElement, false);
}

function MenuOver(id) {
	switch (MenuLastElement) {
		case 0:
			break;
		case id:
			clearTimeout(MenuTimeoutID);
			MenuTimeoutID = 0;
			break;
		default:
			clearTimeout(MenuTimeoutID);
			MenuTimeoutID = 0;
			MenuCloseLast();
			break;
	}
	MenuLastElement = id;
	MenuShow(id, true);
}

function MenuOut(id) {
	MenuTimeoutID = setTimeout("MenuCloseLast()", MenuTimeout);
}