It is December 1st and they have started piping Christmas music in the hallways at work. Now, I am humming it in my office.
