Happy Hanukkah! How about some traditional Hanukkah songs?

Thanks to maozisrael for this fun YouTube video in which people sing their favorite traditional Hanukkah songs (while we get a little tour of Tel Aviv, Israel!). I particularly enjoyed the word "Hanukkah" sung to the tune of "Jingle Bells". :-)

Surprisingly, I also recognized the tune "Sevivon Sov Sov Sov", although I never knew those lyrics. When I was in elementary school I sang a Hanukkah song in the school chorus to that same tune, although the lyrics went something like this:

"Hanukkah days of joy, Happy times for girls and boys.... (I forgot the next line), dreidel spinning round and round. It reminds us of the glory, of the days of Judah Macabee... (something about telling the story), oh what fun for you and me!"

I searched google and can't find anything close to those lyrics anywhere. I wonder if one of the teachers created those English lyrics for kids to sing.