Table: draft_history_12
Columns: round
pick
overall
name
position
college

Question: Which college had an overall pick of 9?
SQL: SELECT "college" FROM draft_history_12 WHERE "overall" = 9