CREATE TABLE table_name_54 (height__m_ INT, highest_mountain VARCHAR)

What is the average height with the Highest mountain of hochgall?
SELECT AVG(height__m_) FROM table_name_54 WHERE highest_mountain = "hochgall"
SELECT AVG("height__m_") FROM "table_name_54" WHERE "highest_mountain" = "hochgall"