function validar(formulario)
{
  if( vacio(document.getElementById("user").value) == false)
  {
    alert("ERROR. Campo 'Usuario' se encuentra vacio.");
    document.getElementById("user").
    return (false);
  }
  else
  {
    if( vacio(document.getElementById("pass").value) == false)
    {
      alert("ERROR. Campo 'CLAVE' de usuario se encuentra vacio.");
      return (false);
    }
    else
    {
      alert("ok");
      return (true);
    }
  }
}

function vacio(q) //la variable q contiene el valor del texbox
{
  for(i = 0; i < q.length; i++) //la funcion q.length devuelve el tama&#241;o de la palabra contenia por el textbox
  { 
    if(q.charAt(i) != " ") //la funcion q.charAt nos deuelve el caracter contenido en la posicion i de la variable q
    {
      return true
    }
  }
  return false;
}