What is the total Year of jeff van note ( Kentucky)
CREATE TABLE table_80023 (
    "Year" real,
    "Florida" text,
    "Georgia" text,
    "Kentucky" text,
    "South Carolina" text,
    "Tennessee" text,
    "Vanderbilt" text
)
SELECT SUM("Year") FROM table_80023 WHERE "Kentucky" = 'jeff van note'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the total Year of jeff van note ( Kentucky) ### Input: CREATE TABLE table_80023 (
    "Year" real,
    "Florida" text,
    "Georgia" text,
    "Kentucky" text,
    "South Carolina" text,
    "Tennessee" text,
    "Vanderbilt" text
) ### Response: SELECT SUM("Year") FROM table_80023 WHERE "Kentucky" = 'jeff van note'