У работника нормальное рабочее время - 5 рабочих дней в неделю, 8 часов в день. Работнику предоставляется отпуск в размере 7 календарных дней с 18.06.2018. В этот период имеются праздничные дни, которые выпадают на выходные дни – 23 и 24 июня. Нужно ли на эти 2 дня продлевать отпуск? И из этого вытекает, что отпуск будет использован в размере 7 рабочих дней?