user: Question: Name the total number of pitcher for 9 overall rank
Columns: ['Pitcher', 'Strikeouts', 'Season', 'Team', 'League', 'Overall Rank']
Types: ['text', 'real', 'real', 'text', 'text', 'real']
Sample row: ['Matt Kilroy', 513.0, 1886.0, 'Baltimore Orioles', 'AA', 1.0]
SQL:

assistant: SELECT COUNT("Pitcher") FROM "Table" WHERE "Overall Rank" = 9.0;