how to pad all the numbers in a string,"re.sub('\\d+', lambda x: x.group().zfill(padding), s)"