function toggle_menu() {
	var el = document.getElementById("hidden");
	if (el.style.display == "block") {
		el.style.display =  "none";
	} else {
		el.style.display = "block";
	}
}