function ira(menu) {
	window.location.href = menu.options[menu.selectedIndex].value;
}