a christmas song with the names of all the characters and numbers in each one's name