על איזה יום יוצא חופש של יום העצמאות?