The holiday song by Tom Leherer.