The choir sang on the stage, with five microphones.