Masato, thanks for printing that version, it's the one I learned as a kid. When I became an adult I found it mysterious. Now as a parent I see the place where it came from in my kids--you should hear the terrible songs they sing about killing Barney the Dinosaur and other similar folklore. One of these days I'll post the send-up on Rudolph the Rednose Reindeer the elementary school kids around here sing. I'll have to get them to hold still long enough to transcribe it.