Прибавляются ли праздничные дни (оплачиваемые вдвойне ) к отпуску или считаются как календарные?

Праздничные дни установленные ст. 112 тк рф выпадающие на период отпуска, в число календарных дней отпуска не включаются и не оплачиваются (ст. 120 тк рф)