// JavaScript Document
// dice si cadena es texto no vacio o no                                     
 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);  
   }  

 function ValidaCampos(form)  
   {  
     if(vacio(form.usuario.value))  
       {alert("Por favor, introduzca el nombre de usuario.");
	   return false;}

	 else if(vacio(form.clave.value))  
       {alert("Por favor, introduzca la contraseña.");
	    return false;}
				 
     else  
       return(true) ;   
      // alert("Los datos son correctos");  
     }  

  function errorusuario()
  	{alert ("Usuario no encontrado");
	return ;
	}
	

  function identifiquese()
  	{alert ("Para acceder a esta zona, es necesario identificarse");
	return ;
	}