How many proverbs are recorded in the book of proverbs?