Table: draft_history_4
Columns: round
pick
overall
name
position
college

Question: What numbered pick was the player from texas?
SQL: SELECT COUNT("pick") FROM draft_history_4 WHERE "college" = 'texas'