el problema es la referencia al formulario. en tus funciones utilizas una supuesta variable llamada
formulario pero este no esta definido. para obtener la referencia del formulario por ID utiliza el metodo
getElementById.
un consejo. evita mover el foco de los campos con
focus. en algunos navegadores, como iexplorer, terminaras en un bucle infinito cuando el valor del campo no coincide con los criterios.