function show_submenu() {
	document.getElementById("submenu_table").style.visibility  = "visible";
}
function hide_submenu() {
	//alert(What);
	document.getElementById("submenu_table").style.visibility  = "hidden";
}
function show_page(Page) {
	window.location.href = Page;
}