What is the Shirt No for the person whose height is 188?
CREATE TABLE "team_roster_season_2011_2012" (
  "shirt_no" real,
  "nationality" text,
  "player" text,
  "birth_date" text,
  "height" real,
  "position" text
);
SELECT SUM("shirt_no") FROM "team_roster_season_2011_2012" WHERE "height"=188;