Half past seven in the morning during the Christmas holidays.