Merry Christmas,
and Happy New Year.

2020