<?php $foo = '0123'; echo (int)is_numeric($foo) . "\n"; echo $foo;
You have javascript disabled. You will not be able to edit any code.