As we move into the Christmas season I am starting to hear, fairly frequently, a song with a chorus that starts: "One star, shining in the heavens". Do you know the title of this song and/or where I can find the lyrics and a MIDI version of it on the Net?