CREATE TABLE table_name_25 (overall INT, college VARCHAR)

What is the overall total for players drafted from notre dame?
SELECT SUM(overall) FROM table_name_25 WHERE college = "notre dame"
SELECT SUM("overall") FROM "table_name_25" WHERE "college" = "notre dame"