function selectedOption(option) {
	document.menu.menuActivo.value = option;
	document.menu.submit()
}