python regex: get end digits from a string,"next(re.finditer('\\d+$', s)).group(0)"