Оплата в праздничные дни
 

Всем привет! http://www.otvetnemail.ru/images/smilies/beer.gif
Есть несколько сотрудников (продавец-кассир), которые работали в новогодние каникулы.
В Трудовом договоре время работы прописано следующим образом:
"Работнику устанавливается рабочая неделя в режиме гибкого рабочего времени с выходными днями согласно внутреннему трудовому распорядку, общей продолжительностью не более 40 часов."

Попадают ли данные сотрудники под оплату в выходные и нерабочие праздничные дни согласно ст. 153 ТК РФ? http://www.otvetnemail.ru/images/smilies/uhm.gif