 For anyone who doesn't know, Montgomery County is just north of Washington, DC. We share the northern border. We are the largest county in Maryland with a population of over a million people. The operating budget for the county is just around $7 billion. The cumulative capital budget is about $18 billion. And half of the operating budget goes to our school system.