Probá ahí... estabas viendo si el resultado de focus era un número, en vez de validar el valor del campo...
Código HTML:
<script language="JavaScript">
function validar(){
var num= document.getElementById('num');
if (num.value == "")
{
alert("Debe introducir su número de empleado");
document.formulario.num.focus();
return;
}
if (isNaN(num.value) || num.value.length != 4)
{
alert("El número de empleado debe ser de 4 digitos numéricos y sin espacios")
document.formulario.num.focus();
return;
}
this.formulario.submit();
}
</script>