CREATE TABLE table_20860739_1 (position VARCHAR(255), player VARCHAR(255))
What is the number of Mike Thomas?
    
SQL: SELECT COUNT(position) FROM table_20860739_1 WHERE player = "Mike Thomas"