A band played a cheerful tune on the stage.