Translate the following question to SQL: What is the total budget amount for school "Glenn" in all years?

Schema: CREATE TABLE School (
    School_id TEXT   PRIMARY KEY,
    School_name TEXT,
    Location TEXT,
    Mascot TEXT,
    Enrollment INT,
    IHSAA_Class TEXT,
    IHSAA_Football_Class TEXT,
    County TEXT,
    UNIQUE (School_id)
);

CREATE TABLE budget (
    School_id INT   PRIMARY KEY,
    Year INT   PRIMARY KEY,
    Budgeted INT,
    total_budget_percent_budgeted REAL,
    Invested INT,
    total_budget_percent_invested REAL,
    Budget_invested_percent TEXT,
    PRIMARY KEY (School_id, Year),
    UNIQUE (School_id, Year),
    FOREIGN KEY (School_id) REFERENCES School(School_id)
);

CREATE TABLE endowment (
    endowment_id INT   PRIMARY KEY,
    School_id INT,
    donator_name TEXT,
    amount REAL,
    UNIQUE (endowment_id),
    FOREIGN KEY (School_id) REFERENCES School(School_id)
);
user
SELECT sum(T1.budgeted) FROM budget AS T1 JOIN school AS T2 ON T1.school_id  =  T2.school_id WHERE T2.school_name  =  'Glenn'
assistant