CREATE TABLE table_name_77 (total INTEGER, to_par VARCHAR(255), player VARCHAR(255))
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"