Merry Christmas and happy holidays, for whatever holiday you happen to celebrate.