Merry Christmas!

Merry Christmas, and best wishes for a happy new year.