# Format number with up to 8 leading zeroes
  $result = sprintf("%08d", $number);