Merry Christmas to all. And a happy new year to all!