Thank you very much. All your suggestions worked quite well. For anyone interested, the file contains the first 10 million digits of pi (11.4 Mb, uncompressed ascii). Thanks again.