user: Question:  how many player with no being 12
Columns: ['No', 'Player', 'Height', 'Position', 'Year born', 'Current Club']
Types: ['real', 'text', 'text', 'text', 'real', 'text']
Sample row: [4.0, 'Pau Gasol', '2.13', 'Center', 1980.0, 'Memphis Grizzlies']
SQL:

assistant: SELECT COUNT("Player") FROM "Table" WHERE "No" = 12.0;