On the stage, a band was playing happy songs, and the audience cheered them.