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