number of pages in the old man and the sea