What is the total score for the year 2012?
CREATE TABLE "u_s_open_champions" (
  "year" real,
  "country" text,
  "course" text,
  "location" text,
  "total_score" text,
  "to_par_a" text
);
SELECT "total_score" FROM "u_s_open_champions" WHERE "year"=2012;