By reader request, here’s Joy to the World, with printed lyrics.
Did you know those lyrics were by Isaac Watts, early in the 19th century? I didn’t know that.
I remember we always used to sing this in Spanish class, to Spanish lyrics, back when public schools allowed the celebration of Christmas: Paz en el mundo, pax y amor…
The times are evil, O Lord: but Christ is come into the world, to cast out the prince of this world.
Move us to sing louder!