<?php echo var_dump(is_numeric('1234')); echo var_dump(is_numeric('a1234'));
You have javascript disabled. You will not be able to edit any code.