to a text file on the disk.  The text file must have been