CREATE TABLE table_name_26 (avg_seek_time_ VARCHAR, ms VARCHAR, device INT)

What is the avg seek time for a device that is less than 3231?
SELECT avg_seek_time_ AS "ms" FROM table_name_26 WHERE device < 3231
SELECT "avg_seek_time_" AS "ms" FROM "table_name_26" WHERE "device" < 3231