remove first zeros from 7 digit string

[Anon]

Hi ,

I have a series of random 7 digit numbers from a database from which I need to remove the first zeros (if any) to retrieve the true value.

A few examples :

from 0000001 I need to return 1
from 0000010 I need to return 10
from 0010304 I need to return 10304
from 2076342 I need to return 2076342

any help gratefully received, cheers.

[Anon]

Try $number = (int)$number;

[Anon]

Hi Mike,

I get some strange results with this. I tried :

$number = 001002;

$number = (int)$number;

echo $number;

..and got 514 back...

[matto]

that's because in your example it already id an integer. the number must come as a string.

<?
$number = '001002';

$number = (int)$number;

echo $number;

?>

this works.

[Anon]

ah, I see now, works a treat - cheers mike and matto.

matto wrote:

that's because in your example it already is an integer. the number must come as a string.