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