// JavaScript Document
function show_menu(ele){
	document.getElementById(ele).style.visibility = "visible"
}

function hide_menu(ele){
	document.getElementById(ele).style.visibility = "hidden"
}