function show_menu(sub_nav)
	{document.getElementById(sub_nav).style.visibility = 'visible';}
function hide_menu(sub_nav)
	{document.getElementById(sub_nav).style.visibility = 'hidden';}