CREATE TABLE table_name_88 (average INT, rank_by_average INT)

What is the average when the rank by average is more than 12?
SELECT SUM(average) FROM table_name_88 WHERE rank_by_average > 12
SELECT SUM("average") FROM "table_name_88" WHERE "rank_by_average" > 12