What is the highest Week for october 12, 2008?
CREATE TABLE "regular_season" (
  "week" real,
  "date" text,
  "time" text,
  "opponent" text,
  "result" text,
  "game_site" text,
  "nfl_recap" text,
  "record" text
);
SELECT MAX("week") FROM "regular_season" WHERE "date"='october 12, 2008';