The story in the book of Isaiah /