What is the number of Mike Thomas?
CREATE TABLE "table1_20860739_1" (
  "round" real,
  "choice" real,
  "player" text,
  "position" text,
  "height" text,
  "weight" real,
  "college" text
);
SELECT COUNT("position") FROM "table1_20860739_1" WHERE "player"='Mike Thomas';