Wie mache ich aus '7' -> '07'?

[Tom]

Hello,

noch etwas Senf zur Nacht:

echo substr("00000".$zahl,-5);

würde z.B. 00045 für $zahl == 45 ausgeben.

Grüße

Tom