 The former Speaker of the House in the state of Colorado, back when we were having a fight on a taxpayer bill of rights, was in studio and we were talking about the cost of government. And he said, so you guys got a lot of school districts here, right? And I said, we do. And he said, how many school children? I said, about 200,000. It was about that at the time. It's dropped since then.