про праздничные дни и отпуск, вопрос знающим

в общем у нас такая организация… где всю инфу нужно проверять, обманут и глазом не моргнут. говорит мне сегодня кадровичка (я иду в отпуск с 1мая по 19 июня), что эти два праздничных дня на отпускников не распространяются, ну то есть 1 мая и 9, соответственно и не оплачиваются. насколько я знаю это не так, дни выходных приплюсовываются к отпуску, правильно?