結果 : how to extract an integer from a string in python