All of these were recorded in genealogies in the days of Jotham king of Judah, and in the days of Jeroboam king of Israel.