python在文件中输入整数