Formattare numero a cifra fissa

[luca200]

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