Telephone directory, Republic 7-7500 [etc.]; issued by Buildings Management Division.