Formattare numero a cifra fissa

[giordano81]

Avrei bisogno di sapere come faccio se ho
$n = "25"
e far sì che diventi
$n_formattato = "0025"

Cioè in pratica una funzione che mi permetta di avere un numero di 4 cifre anche quando il numero che ho non le raggiunge.

Avete idee?
Grazie

[luca200]

$n_formattato = sprintf("%04d",$n);