Manipolazione di stringhe: facile facile?

[vissidarte]

Qualcuno sa dirmi se esiste una funzione per poter formattare una stringa a piacimento riassegnando il valore alla stringa stessa? In pratica quello che fa printf ma senza mandare l'output a video, bensì riassegnandolo alla stringa stessa.
Quello che devo fare è:
$Cod = 123 (rappresenta un numero ma è salvato in un db come stringa)

devo avere $Cod =000123, cioè sempre di 6 caratteri premettendo gli zeri opportuni.


A video funziona...

$Cod= 123;
printf("%06d", $numero);

l'ouptput sarà 000015


Grazie e ciao

[vissidarte]

Io ho risolto così...

$zeri="0000000";
$CodProd=substr($zeri,1,7-strlen($CodProd)).$CodProd;

Funziona bene, ma mi chiedevo solo se c'era una funzione già pronta.....

[Lak3d]

$Cod= 123;
$Cod=sprintf("%06d", $Cod);
echo ($Cod); 

[nicola75ss]

http://se.php.net/manual/it/function.str-pad.php

[vissidarte]

Perfetto!!!
Grazie e buone feste a tutti.