A crowd cheered in the stadium, to the merry music.