Christmas holidays begin.