ותהי שמחהגדולה בירושל͏ם כי מימי שלמה בןדויד מלך ישראל לא כזאת בירושל͏ם {ס}