CREATE TABLE table_name_72 (pick INTEGER, school VARCHAR(255))
What's the total number of picks for mckinney high school?
    
SQL: SELECT SUM(pick) FROM table_name_72 WHERE school = "mckinney high school"