Click 4.2.2.html link to view the file.