This is a Christmas song we used to sing at school when I was a little boy.