function confirmation (message, location)
{
  if(confirm(message))
    window.location = location;
}

/* display(div_id):
     Torna visible un elemento (código HTML entre etiquetas DIV) que está oculto, y viceversa. */
function display (div_id)
{
  disp = document.getElementById(div_id).style.display;
  if(disp == 'none')
    disp = 'block';
  else
    disp = 'none';
  document.getElementById(div_id).style.display = disp;
}

/* validate_text_input:
     input:   nombre del campo de entrada de texto (formulario.input).
     required: determina si el campo tiene que diligenciarse o puede dejarse vacío (true/false).
     required_error: mensaje que se muestra si el campo es requerido y no se diligencia.
     option:    determina el formato con el que debe ser validada la entrada
                (null->sin formato especial, "num"->numérico, "email"->dirección de e-mail).
     option_error: mensaje que se muestra si el texto ingresado no tiene el formato definido por option. */
function validate_text_input (input, required, required_error, option, option_error)
{
  if(required)
  {
    if(input.value == "")
    {
      alert(required_error);
      input.focus();
      return(false);
    }
  }
  if(input.value != "")
  {
    var ok = true;
    switch(option)
    {
      case "num":
        reg_exp = /^[0-9][0-9]*$/;
        if(!reg_exp.test(input.value))
          ok = false;
        break;
      case "email":
        reg_exp_1 = /^\w+([\.\-]\w+)*\@\w+([\.\-]\w+)*\.\w+$/;
        reg_exp_2 = /^.*@[^_]*$/;
        if(!reg_exp_1.test(input.value) || !reg_exp_2.test(input.value))
          ok = false;
        break;
    }
    if(!ok)
    {
      alert(option_error);
      input.focus();
      return(false);
    }
  }
  return(true);
}

/* validate_select:
     Valida que tenga que elegirse una de las opciones del menú desplegable.
     select_name: nombre del menu desplegable (formulario.select_name).
     error: mensaje que se muestra si no se selecciona opción alguna. */
function validate_select (select_name, error)
{
  if(select_name.value == "")
  {
    alert(error);
    select_name.focus();
    return(false);
  }
  return(true);
}

function validate_number(e)
{
  var charCode;
  if(navigator.appName == "Netscape")
    charCode = e.which;
  else
    charCode = e.keyCode;
  if(charCode >= 48 && charCode <= 57)
    return true;
  return false;
}

function remove_option (select_name)
{
  var i;
  for(i=0; i < select_name.length; i++)
  {
    if(select_name.options[i].selected == true)
    {
      select_name.remove(i);
      i--;
    }
  }
}