What amount of times is the name, Bok De Korver listed?
CREATE TABLE table_11585313_1 (number INTEGER, name VARCHAR)
SELECT MAX(number) FROM table_11585313_1 WHERE name = "Bok de Korver"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_11585313_1 (number INTEGER, name VARCHAR) Question: What amount of times is the name, Bok De Korver listed? [/INST] SELECT MAX(number) FROM table_11585313_1 WHERE name = "Bok de Korver" </s>