CREATE TABLE table_name_56 (total INT, player VARCHAR)

What is the Total of Player Craig Stadler?
SELECT AVG(total) FROM table_name_56 WHERE player = "craig stadler"
SELECT AVG("total") FROM "table_name_56" WHERE "craig stadler" = "player"