Er det 100% tillegg på 17. mai, slik som det er på vanlige helligdager?