extract digits in a simple way from a python string,"map(int, re.findall('\\d+', s))"