Så församlade sig då till konungen alla Israels män under högtiden, den som firades i sjunde månaden.