Several people sang cheerfully on the stage, and people below the stage cheered.