      <!--
  function irA(menu){window.location.href = menu.options[menu.selectedIndex].value;}
  // fin de javascript -->