CREATE TABLE table_25345 ("Series #" FLOAT, "Title" TEXT, "Directed by" TEXT, "Written by" TEXT, "Original air date" TEXT, "Prod. code" FLOAT)

What is the production code of the episode titled 'Lenny'?
SELECT MAX("Prod. code") FROM table_25345 WHERE "Title" = 'Lenny'
SELECT MAX("Prod. code") FROM "table_25345" WHERE "Title" = 'Lenny'