user: Question: What amount of times is the name, Bok de Korver listed?
Columns: ['number', 'date of debut', 'name', 'date of birth', 'number of caps', 'number of goals', 'date of death†']
Types: ['real', 'text', 'text', 'text', 'real', 'real', 'text']
Sample row: [1.0, '30-04-1905', 'Reinier Beeuwkes', '17-02-1884', 19.0, 0.0, '01-04-1963']
SQL:

assistant: SELECT COUNT("number") FROM "Table" WHERE "name" = 'Bok de Korver';