People, I put 12 in the file data.txt and apply (readFiniteFile "data.txt"). And it returns "120" instead of expected "12". I suspect, some particular symbol needs to be set to the file after 12 Who knows, please? Thanks, ------ Sergei