İhbar süresi ve resmi tatiller

Merhaba;

6 aydan az çalışma için 2 hafta ihbar süresi var. Eğer bu süre zarfı içinde resmi tatiller denk gelirse bu resmi tatiller ihbar süresi içinde mi dışında mı sayılır? Mesela 26.10.2009 Pazartesi tarihinde işten ayrılacağını bildiren çalışan için 2 haftalık süre 09.11.2009 Pazartesi günü sona erer. Bu zaman içerisinde 28 Ekim yarım gün, 29 Ekim Bayramı 1 gün resmi tatil var. O zaman 1,5 gün daha mı çalışılmalı?

İhbar süresi iş günü olarak değil, takvim günü olarak belirtilmiştir.