How do I Format a number with leading zeros in PHP

I want to be able to have a variable with a fixed number of digits. If the variable is less than the fixed number of digits I want to add some leading zeros. For example if I have a number 7654321 and I want the fixed number of digits to be eight the resulting variable should be 07654321

Is there a PHP function for that?


Bob from Germantown