The actors on stage sang cheerful songs, and the audience cheered.