What was the record at the game with a result of W 13-12 after week 4?
CREATE TABLE "schedule" (
  "week" real,
  "date" text,
  "opponent" text,
  "result" text,
  "record" text,
  "attendance" text
);
SELECT "record" FROM "schedule" WHERE "week">4 AND "result"='w 13-12';