Question: what is the prof extension of hist
SQL: SELECT PROF_EXTENSION  from PROFESSOR where DEPT_CODE = 'HIST'