(9) As we have heard, so have we seen in the Ir Hashem Tzvaos, in the Ir Eloheinu; Elohim will establish it ad olam. Selah.