Question: What are the offices of these professors?
SQL: SELECT T2.prof_office from employee as T1 join professor as T2 on T1.emp_num  =  T2.emp_num where T2.dept_code  =  'HIST'