Who sang the song last Christmas?

In my church, JOy to the World! was the traditional, and wide-open recessional number- indeed recessional- and played-out to the max!