Estrarre numero preceduto da sequenza di zeri

[cubalibre810]

Se sono stringhe ti basta fare

echo (int)$stringa;