python:print格式化输出到文件的实例