holiday

[holiday] See: HALF-HOLIDAY.