A crowd of people were playing a cheerful tune on the stage, and there were cheers below.