CREATE TABLE table_name_77 (total INT, to_par VARCHAR, player VARCHAR)

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