CREATE TABLE table_name_3 (tie_no VARCHAR(255), away_team VARCHAR(255))
What's the tie number when the away team was Mansfield Town?
    
SQL: SELECT tie_no FROM table_name_3 WHERE away_team = "mansfield town"