Table schema:
CREATE TABLE table_name_77 (total INTEGER, to_par VARCHAR, player VARCHAR)

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