3.13 课后习题：输出文件