Context: 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?
Answer: SELECT SUM(total) FROM table_name_77 WHERE to_par > 7 AND player = "corey pavin"