Does anybody know how to count the number of lines in a text file?