How to extract numbers from filename in Python?,regex = re.compile('\\d+')