向一个文本文件中写入一个字符串的系统函数为（）