In the cheerful music, a band played music on the stage, and people below cheered.