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