// JavaScript Document

function show_menu(menu_id){
	document.getElementById(menu_id).style.display='block'
}

function hide_menu(menu_id){
	document.getElementById(menu_id).style.display='none'
}