Validacion y formateo de dni. Funciona en php, testing javascript