function toggle_submenu(which, what) {
	document.getElementById("submenu_"+which).style.display = what;
}
function toggle_submenus(what) {
	toggle_submenu('agentur', what);
	toggle_submenu('ggp', what);
}