writing a string to a file