Отпуск с 1 ноября по 12 ноября. Когда выходить на работу?

С 1 по 12 ноября у человека отпуск. 4 ноября, как праздничный день, уже учли. 5 ноября вся страна отдыхала и работает 13 ноября. Получается, что 13 ноября = 5 ноября. Значит, человека-отпускника это не касается и ему на работу не 13 (т.к. 13ноября - суббота, 14 ноября - воскресенье), как всей стране, а 15 ноября. Логично? 13 рабочий день для тех, кто гулял 5 ноября. У нее 5 дневная рабочая неделя.Ну, да, это наши, работающих, дела, а она отпускница и мало ли что мы там на сдвигали.