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