CREATE TABLE table_name_12 (tie_no VARCHAR(255), home_team VARCHAR(255))
When the home team was Woking, what was the tie no?
    
SQL: SELECT tie_no FROM table_name_12 WHERE home_team = "woking"