A band played joyous music on the stage, and people cheered.