CREATE TABLE table_62281 ("Name" TEXT, "Builder" TEXT, "Type" TEXT, "Works Number" TEXT, "Built" FLOAT)

What is Built, when Works Number is '717'?
SELECT "Built" FROM table_62281 WHERE "Works Number" = '717'
SELECT "Built" FROM "table_62281" WHERE "Works Number" = '717'