Home Jokes Computing Humour TOPS-10 holiday song (sung to the tune of Jingle Bells)