流通股的WASHINGTON HOTEL CORPORATION。