What is the work number for Victor?
CREATE TABLE table_name_80 (works_number VARCHAR, name VARCHAR)
SELECT works_number FROM table_name_80 WHERE name = "victor"
### Context: CREATE TABLE table_name_80 (works_number VARCHAR, name VARCHAR) ### Question: What is the work number for Victor? ### Answer: SELECT works_number FROM table_name_80 WHERE name = "victor"