function menu() {
	obj = document.getElementById("hide");
	if (obj.style.display == "block") {
	obj.style.display = "none";
	}
	else {
	obj.style.display = "block";
	}
}