function hide_submenu (id) {
	document.getElementById(id).style.display = 'none';
}
function show_submenu (id) {
	document.getElementById(id).style.display = 'block';
}
function switch_submenu (id) {
	if (document.getElementById(id).style.display == 'none' )
		{ show_submenu(id); }
	else
		{ hide_submenu(id); }
}