Format a number with leading zeros in PHP

$var = 1234567;
echo sprintf('%08d', $var);
// Output: 
// 01234567