CREATE TABLE table_41400 ("Player" TEXT, "Club" TEXT, "League" FLOAT, "FA Cup" FLOAT, "FA Trophy" FLOAT, "League Cup" FLOAT, "Total" FLOAT)

How many FA Trophy has a Player of mario walsh and a League larger than 17?
SELECT AVG("FA Trophy") FROM table_41400 WHERE "Player" = 'mario walsh' AND "League" > '17'
SELECT AVG("FA Trophy") FROM "table_41400" WHERE "League" > '17' AND "Player" = 'mario walsh'