user: Question: What is the highest no.?
Columns: ['Pos', 'No', 'Driver', 'Constructor', 'Q1 order', 'Q1 time', 'Q1 pos', 'Q1+Q2 time']
Types: ['real', 'real', 'text', 'text', 'real', 'text', 'real', 'text']
Sample row: [1.0, 9.0, 'Kimi Räikkönen', 'McLaren - Mercedes', 18.0, '1:13.644', 1.0, '2.30.325']
SQL:

assistant: SELECT MAX("No") FROM "Table";