On the stage, a band played cheerful music.