function show_submenu(what) {
	document.getElementById(''+what+'_submenu').style.display="block";
}

function hide_submenu(what) {
	document.getElementById(''+what+'_submenu').style.display="none";
}