Table schema:
CREATE TABLE table_name_80 (works_number VARCHAR, name VARCHAR)

Question: What is the work number for Victor?
SQL: SELECT works_number FROM table_name_80 WHERE name = "victor"