Auditorium working lights. Used for cleaning and setting up the auditorium before the house lights (usually more atmospheric) are switched on.