[net.misc] ho ho ho!

santa (12/21/82)

merry xmas, everybody!