Normalizzare un numero di tessera

[pinopisc]

oppure

$buff = "000000000";

//es:
$num_tessera = "1234";

$verif = strlen($num_tessera);
$formattato = substr_replace($buff,$num_tessera,-$verif);