var ira  

function link(formulario){
  ira=formulario.options[formulario.selectedIndex].value;
  formulario.options[0].selected=true
  if (ira!="" )
     window.location.href=ira;      
}

function verificar(Formulario)
{
  var contenido = Formulario.CiRestriction.value;
  contenido = contenido.replace(/^\s*/, '').replace(/\s*$/, '');
  if (contenido == "")
  {
    alert("Por favor, ingrese los términos a buscar.");
    Formulario.CiRestriction.focus();
    return (false);
  }

  return (true);
}