It’s based LOOSELY on a very old public domain musical which was explicitly set at Christmas and had a big musical number called “Hail to Christmas.” But every adaptation since has cut that song, so the connection becomes negligible.