// JavaScript Document
function show_submenu(myMenu) {
	subMenu = document.getElementById(myMenu);
	subMenu.style.visibility = 'visible';
	subMenu.style.display = 'inline';
}
function hide_submenu(myMenu) {
	subMenu = document.getElementById(myMenu);
	subMenu.style.visibility = 'hidden';
	subMenu.style.display = 'none';
}