what is the number where the player was jimmy demaret
CREATE TABLE "wins_9" (
  "year" real,
  "championship" text,
  "54_holes" text,
  "winning_score" text,
  "margin" text,
  "runner_s_up" text
);
SELECT "54_holes" FROM "wins_9" WHERE "runner_s_up"='Jimmy Demaret';