echo filter_data($var, FILTER_VALIDATE_INT);
should the return values be either NULL or 1234?
well, it should return 1234
if var was abc1234 then it would return NULL, is that correct?
"Democracy is two wolves and a lamb voting on what to have for lunch.
Liberty is a well-armed lamb contesting the vote."