CREATE TABLE table_name_77 (total NUMBER, to_par VARCHAR2, player VARCHAR2)

If the player is Corey Pavin when he had a To par of over 7, what was the sum of his totals?
SELECT SUM(total) FROM table_name_77 WHERE to_par > 7 AND player = "corey pavin"
SELECT SUM("total") FROM "table_name_77" WHERE "corey pavin" = "player" AND "to_par" > 7