8月13日から8月17日までは夏季休暇です。