CREATE TABLE "luge" (
  "position" text,
  "height_cm" real,
  "weight_kg" real,
  "birthplace" text,
  "2009_10_team" text
);

Question: What is the sum of the heights for the Cornell Big Red?
SQL: SELECT SUM("height_cm") FROM "luge" WHERE "2009_10_team"='cornell big red';