within python runtime environment, try the following:
>> *type(01207)*
you'll get:
<type 'int'>
then try with:
>> *type(01208)*
you will get:
File "<stdin>", line 1
type(01208)
^
within python runtime environment, try the following:
>> *type(01207)*
you'll get:
<type 'int'>
then try with:
>> *type(01208)*
you will get:
File "<stdin>", line 1
type(01208)
^