結果 : how to write an integer to a text file in python