CREATE TABLE table_name_13 (top_division_titles INT, position_in_2012 VARCHAR)

What is the largest number of top division titles with a 2012 position of 10th?
SELECT MAX(top_division_titles) FROM table_name_13 WHERE position_in_2012 = "10th"
SELECT MAX("top_division_titles") FROM "table_name_13" WHERE "10th" = "position_in_2012"