function vacio(cadena)
  {                                    // DECLARACION DE CONSTANTES
    var blanco = " \n\t" + String.fromCharCode(13); // blancos
                                       // DECLARACION DE VARIABLES
    var i;                             // indice en cadena
    var es_vacio;                      // cadena es vacio o no
    for(i = 0, es_vacio = true; (i < cadena.length) && es_vacio; i++) // INICIO
      es_vacio = blanco.indexOf(cadena.charAt(i)) != - 1;
    return(es_vacio);
  }


/* dice si cadena es un email (alfanum@alfanum.alfanum[.alfanum]) o no, don- */
/* de alfanum son caracteres alfanumericos u otros                           */

function email(cadena, otros)
  {                                    // DECLARACION-INICIALIZACION VARIABLES
    var i, j;                          // indice en cadena
    var es_email = 0 < cadena.length;  // cadena es email o no
    i = salta_alfanumerico(cadena, 0, otros); // INICIO
    if(es_email = 0 < i)               // lee "alfanum*"
      if(es_email = (i < cadena.length))
        if(es_email = cadena.charAt(i) == '@') // lee "alfanum@*"
          {
            i++;
            j = salta_alfanumerico(cadena, i, otros);
            if(es_email = i < j)       // lee "alfanum@alfanum*"
              if(es_email = j < cadena.length)
                if(es_email = cadena.charAt(j) == '\.')
                  {                    // lee "alfanum@alfanum.*"
                    j++;
                    i = salta_alfanumerico(cadena, j, otros);
                    if(es_email = j < i) // lee "alfanum@alfanum.alfanum*"
                      while(es_email && (i < cadena.length))
                        if(es_email = cadena.charAt(i) == '\.')
                          {
                            i++;
                            j = salta_alfanumerico(cadena, i, otros);
                            if(es_email = i < j) // lee "alfanum@alfanum.alfanum[.alfanum]*"
                              i = j;
                          }
                  }
          }
    return(es_email);
  }


/* dice si cadena es url (http://... ) o no                                     */
function url(cadena)
  {                                    // DECLARACION DE CONSTANTES
    var http = "http://";              // protocolo HTTP
                                       // DECLARACION DE VARIABLES
    var es_url;                        // cadena es url o no
    if(cadena.length <= 7)             // INICIO
      es_url = false;                  // no cabe "http://*"
    else
      es_url = http.indexOf(cadena.substring(0, 7)) != - 1; // lee "http://*"
    return(es_url);
  }


/* salta caracteres alfanumericos y otros a partir de  cadena[i]  y  da  si- */
/* guiente posicion                                                          */
function salta_alfanumerico(cadena, i, otros)
  {                                    // DECLARACION DE VARIABLES
    var j;                             // indice en cadena
    var car;                           // caracter de cadena
    var alfanum;                       // cadena[j] es alfanumerico u otros
    for(j = i, alfanum = true; (j < cadena.length) && alfanum; j++) // INICIO
      {
        car = cadena.charAt(j);
        alfanum = alfanumerico(car) || (otros.indexOf(car) != -1);
      }
    if(!alfanum)                       // lee "alfanumX"
      j--;
    return(j);
  }
  
/* dice si car es alfanumerico                                               */
function alfanumerico(car)
  {
    return(alfabetico(car) || numerico(car));
  }


/* dice si car es alfabetico                                                 */
function alfabetico(car)               // DECLARACION DE CONSTANTES
  {                                    // caracteres alfabeticos
    var alfa = "ABCDEFGHIJKLMNOPQRSTUWXYZabcdefghijklmnopqrstuvxyz";
    return(alfa.indexOf(car) != - 1);  // INICIO
  }


/* dice si car es numerico                                                   */
function numerico(car)
  {                                    // DECLARACION DE CONSTANTES
    var num = "0123456789";            // caracteres numericos
    return(num.indexOf(car) != - 1);   // INICIO
  }


// ejemplo validacion formulario
function ValidaCampos(contactanos)
  {
    if(vacio(contactanos.nombres.value))
      alert("Texto vacio  Nombre.");
	  
	else if(vacio(contactanos.apellidos.value))
      alert("Texto vacio  Apellido.");
	  
	else if(!email(contactanos.mail.value, "-_"))
      alert("Correo no valido");
	  
	else if(contactanos.pais.value == "ve")
  	{
		if(vacio(contactanos.region.value))
      		alert("Texto vacio Estado.");
	 
		else if(vacio(contactanos.ciudad.value))
      		alert("Texto vacio Ciudad.");
	}
	
	else if(vacio(contactanos.codtelefono.value))
      alert("Texto vacio Código Teléfono.");
	  
	else if(vacio(contactanos.telefono.value))
      alert("Texto vacio Teléfono.");
	  
	else if(vacio(contactanos.celular.value))
      alert("Texto vacio Celular.");
	  
	else if(vacio(contactanos.mensaje.value))
      alert("Texto vacio Mensaje.");

	else
	{  
		contactanos.nombres.value = " ";
		contactanos.apellidos.value = " ";
		contactanos.mail.value = " ";
		contactanos.pais.value = "ve"
		contactanos.region.value = " ";
		contactanos.ciudad.value = " ";
		contactanos.codtelefono.value = " ";
		contactanos.telefono.value = " ";
		contactanos.celular.value = " ";
		contactanos.mensaje.value = " ";
		
		return(true);
	}
	
	return(false);
  }
  
  function validarpais(contactanos)
  {
  	
	if(contactanos.pais.value == "ve")
    {  
	  	contactanos.region.disabled = false;
	 	contactanos.ciudad.disabled = false;
		contactanos.region.value = " ";
		contactanos.ciudad.value = " ";
	}
	
	else
	{
		
		contactanos.region.disabled = true;
	  	contactanos.ciudad.disabled = true;
		contactanos.region.value = "n/a";
		contactanos.ciudad.value = "n/a";

		
	}
	  
  }