夏季休暇。