Working hours on public holidays