Formatting a number with leading zeros in PHP
<p>I want have a variable which contains the value 1234567.</p>

<p>I want it to contain exactly 8 digits i.e. 01234567.</p>

<p>Is there a PHP function for that?</p>
