What are the offices of these professors?
SELECT T2.prof_office from employee as T1 join professor as T2 on T1.emp_num  =  T2.emp_num where T2.dept_code  =  'HIST'
offices of professors refers to prof_office; join condition is based on employee number (emp_num); filtering is done based on department code (dept_code) for 'HIST' (History)."