結果 : extract digits from a string python