All of those names were written down in the family history. They were written during the time when Jotham was king of Judah and Jeroboam was king of Israel.