php make int from leading 0 code example Example: format a number with leading zeros in php sprintf('%06d', '12')