CHRISTMAS DAY – EXTRA PUBLIC HOLIDAY