The theatrical term for auditorium.