$5.2 billion in school aid