function open_menu(name) {
		if (document.getElementById(name)!=null)
		{
 		elem = document.getElementById(name);
		if (elem.style.display == "none" || !elem.style.display) {
			elem.style.display = "block";
		} else {
			elem.style.display = "none";
		}
		}
	}