דחוף. כמה ימי זה חופשת ראש השנה, כמה ימים זה סוכות, וכמה זה שמחת תורה?