San Francisco War Memorial Opera House.