public holidays will be given as off day in lieu