All these were recorded by their genealogies in the days of Jotham the king of Judah, and in the days of Jerobo'am the king of Israel.