CREATE TABLE table_name_72 (pick INT, school VARCHAR)

What's the total number of picks for mckinney high school?
SELECT SUM(pick) FROM table_name_72 WHERE school = "mckinney high school"
SELECT SUM("pick") FROM "table_name_72" WHERE "mckinney high school" = "school"