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