CREATE TABLE table_name_88 (silver INT, total VARCHAR)

What is the average number of silver medals won among nations that won 9 medals total?
SELECT AVG(silver) FROM table_name_88 WHERE total = 9
SELECT AVG("silver") FROM "table_name_88" WHERE "total" = 9