CREATE TABLE table_name_16 (builder VARCHAR, works_number VARCHAR)

Who is the builder with a works number of 2534?
SELECT builder FROM table_name_16 WHERE works_number = "2534"
SELECT "builder" FROM "table_name_16" WHERE "2534" = "works_number"