A group of men performed on the stage in the room, playing a cheerful tune.