python regex: get end digits from a string,"re.match('.*?([0-9]+)$', s).group(1)"