一个格式化写入文件程序