CREATE TABLE table_name_42 (built VARCHAR, works_number VARCHAR)

What is Built, when Works Number is '717'?
SELECT built FROM table_name_42 WHERE works_number = "717"
SELECT "built" FROM "table_name_42" WHERE "717" = "works_number"