Работник вышел в отпуск с 16 октября по 29 октября 2023 год. В отпуске он заболевает и оформляет больничный в период с 23 октября по 31 октября 2023 год, то есть на 9 календарных дней. На сколько дней продлевается отпуск, если на период продления выпадает праздничный нерабочий день 6 ноября 2023 года?