字符串函数()____用于把一个字符串写入指定的磁盘文件中。