Instruct: How many  FA Trophy has a Player of mario walsh and a League larger than 17?
Output: SELECT AVG FA Trophy FROM table WHERE Player = mario walsh AND League > 17