CREATE TABLE table_name_52 (fa_trophy INTEGER, player VARCHAR(255), league VARCHAR(255))
How many  FA Trophy has a Player of mario walsh and a League larger than 17?
    
SQL: SELECT AVG(fa_trophy) FROM table_name_52 WHERE player = "mario walsh" AND league > 17