結果 : extract an integer from a string python