Well, it’s a dance; not necessarily a particular song. There are lots of songs you can dance it to. And we do know how the dance goes. The numerous videos online are pretty consistent. In fact most of the kids in A Charlie Brown Christmas are dancing parts of it.
nvm