PHP: Число с ведущими нулями

Функция

<?php
function numberFormat($digit, $width) {
  while(strlen($digit) < $width)
   $digit = '0' . $digit;
   return $digit;
}

Использовать достаточно просто:

<?php
$str = 1;
echo numberFormat($str, 4);
// Выведет "0001"

str_pad()

<?php
$str = '1';
echo str_pad($str, 4, '0', STR_PAD_LEFT);
// Выводит "0001"

sprintf()

<?php
$str = '1';
echo sprintf("%04d", $str);
// Выводит "0001"