function hideAll(ignore) {
	var submenus = document.getElementById("menu").getElementsByTagName("div");
	for(var i = 0; i < submenus.length; i++) {
		if(submenus[i].className == "submenu") {
			if(submenus[i].id != ignore) {
				submenus[i].style.display = "none";
			}
		}
	}
}

function toggleVisible(id) {
	hideAll(id);
	var div = document.getElementById(id);
	div.style.display = div.style.display == "none" ? "block" : "none";
}