function toggleDropDownMenu() {
	var el = document.getElementById("dropDownMenu");
	if (el.style.visibility != "visible") {
		el.style.visibility = "visible";
	} else {
		el.style.visibility = "hidden";
	}
}