WriteString

WriteString[stream, $str1, str2, ... ]
writes the strings to the output stream.