var timer = 0;
function toggleMenu(id){
	object = document.getElementById(id);
	if (object.style.display == 'none')
object.style.display = 'block';
else
	object.style.display = 'none';
}

function hideMenu(id){
	object = document.getElementById(id);
	object.style.display = 'none';
}
	
function hideMenuDelay(id){
	object = document.getElementById(id);
	if (object.style.display != 'none')
	object.timer = window.setTimeout("hideMenu('"+id+"')", 500);
}

function abortHideMenuDelay(id){
	object = document.getElementById(id);
	window.clearTimeout(object.timer);
}

function hideMenus(){
	var object = true;
	var menucounter = 1;
	while (object){
		object = document.getElementById('menu'+menucounter);
		if (object) object.style.display = 'none';
		menucounter++;
	}
}