Claro te marcara error por que lo estas llamando directamente al campo de tu formulario prueba de esta manera:
si es por el id del campo asi:
Código PHP:
document.getElementById('TXT_Nombre_Funcionario').value
y si es por el name de tu campo:
Código PHP:
document.formulario.TXT_Nombre_Funcionario.value
Saludos