A band played on the stage and the music was cheerful.