CREATE TABLE table_name_12 (tie_no VARCHAR, home_team VARCHAR)

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