How would you print just the 10th line of a file?