Question: Yes, hi, I'd like to know how many professors are in the history department?
SQL: SELECT count ( * )  FROM professor WHERE dept_code  =  "HIST"