I am presuming that the difference in file lengths between the papers.zip and *.txt is due to Unix vs DOS file formats, and that the two sets are otherwise identical. converting text.txt on the file site to DOS format gives the correct file length, but I would rather not have to manually chaeck all of them. lojbab