Оплата праздников

Добрый день. У сотрудника сменный график работы. Его смена выпадает на 4,5,6 ноября. За какие дни ему доплачивать как за праздничные?