８月１３日金曜日　夏季休暇
８月１６日月曜日　夏季休暇
８月１７日火曜日　夏季休暇
８月１８日水曜日　夏季休暇
８月１９日木曜日　夏季休暇　あ、結局のところ、１３日から１週間お休み、ってことですね。