>>572
夏季休暇が5日なのはそういうことなのかしら