function is_id($num){return ((ctype_digit($num) || is_int($num)) && intval($num) >0 ) ? true : false;}if(is_id($num)){// Result}else{@header("location:index.php"); exit;}