输出一个字符串到文件中的函数是