CREATE TABLE table_name_71 (total INT, to_par VARCHAR)

What is the highest total of the player with a 7 to par?
SELECT MAX(total) FROM table_name_71 WHERE to_par = 7
SELECT MAX("total") FROM "table_name_71" WHERE "to_par" = 7