Codice PHP:
if(preg_match("/^\\d{5}$/",$var))
  echo 
"numerico intero";
else
  echo 
"non numerico intero"