 has fallen behind other industrialized nations. President Trump has said he will eliminate the Department of Education. Jimmy Carter instituted that in the late 70s. And since then, education in this country has fallen behind. We haven't gotten stronger or better. Our children aren't better educated. What they have done is redistribute a lot of money. And that's what the Department of Education does. I think it has 4,400 employees. I believe that's correct.