In a large auditorium, the audience on the stage had just finished performing, and there was applause and cheers below.