On the stage, a band was playing cheerful songs.