Catatan Kuliah ku

Bagaimana cara membuat format angka pada php menjadi beberapa digit. misalnya 4 digit seperti 0001.
misalnya variabel yang kita punya $a=1;
kita ingin yang ditampilkan di browser 00002.
caranya

<?php
$a=1;
printf("%05d", $number);
?>

semoga bermanfaat.