In the cheerful music, the crowd outside sang and the audience cheered.