function show_menu() {
	document.getElementById("navbar").style.visibility="visible";
}