Andreas: führende Null wird beim rechnen entfernt?

Beitrag lesen

Hallo,
ich will ein Script schreiben welches mir Bilder aus einem Ordner ausliest. Nur haben die Bilder immer eine 4stellige Nummer, beginnend mit 0001.
Nun wird aber beim erhöhen der Nummer die führende Null entfernt. Kann man das verhindern?

So wird erhöht:
$von = 0080;
$bis = 0112;
for($nr=$von;$nr<$bis;$nr++)

ausgegeben wird:
0080
81
82
...

Andreas