Table schema:
CREATE TABLE table_name_12 (tie_no VARCHAR, home_team VARCHAR)

Question: When the home team was Woking, what was the tie no?
SQL: SELECT tie_no FROM table_name_12 WHERE home_team = "woking"