Codice PHP:
printf("%07d"$numero);