Formateo de numeros "especial"

[OpcioWeb]

Wenasss!

Al tema!, tengo una lista de fotos vale? Y se llaman 001.jpg, 002.jpg, .... , 020.jpg, .... Y asi hasta 139 fotos en total.

Pues bien, he hecho una php para que me las muestre de 20 en 20 por paginas.
Mi intencion es hacer 2 bucles anidados, de tal forma que pinto 4 fotos por cada fila en un total de 5 filas por pagina. Me pillais?? Cada pagina seria esto:

X X X X
X X X X
X X X X
X X X X
X X X X

Donde cada X seria una foto. El problema que tengo no es este, es que quiero hacer algo parecido a esto por cada foto:

<img src="$FotoAct.jpg">

Asi con una variable autoincremental me ahorro hacer 4 <img> cada fila, pero nose como formatear $FotoAct para que contenga 001 en vez de 1, 002 en vez de 2 y asi sucesivamente... Existe alguna funcion de PHP o tengo que currarmela yo?? Se que no es complicada de hacer, pero si existe en PHP alguna que lo haga, para que matarse? jejeje

Gracias por adelantado

[josemi]

Hola,

Con printf() y familia puedes crear ese tipo de cadenas (se llama padding).

Saludos.

[OpcioWeb]

exacto!! ya lo encontre en php.net!!!

Mirad, me ha salido con esto, por si a alguien mas le hace falta:

$foto=sprintf ("%03d",$i);

"%03d" nos formatea el numero con 3 digitos fijos, rellenando con ceros si hace falta.
$i es la variable autoincremental


Gracias josemi!!