user: Question: How many  FA Trophy has a Player of mario walsh and a League larger than 17?
Columns: ['Player', 'Club', 'League', 'FA Cup', 'FA Trophy', 'League Cup', 'Total']
Types: ['text', 'text', 'real', 'real', 'real', 'real', 'real']
Sample row: ['Gary Bull', 'Barnet', 30.0, 2.0, 0.0, 0.0, 32.0]
SQL:

assistant: SELECT SUM("FA Trophy") FROM "Table" WHERE "Player" = 'mario walsh' AND "League" > 17.0;