Aunque supongo que esta consulta deberias haberla hecho en Javascript te dejo una posible solucion:
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> Suerte y revisa la pregunta para poder ponerla en el foro correspondiente ;)