. . . "Within NASA, that translates into an extra $885.5 million that would be used for certain priority areas in science, aeronautics, space technology, exploration, space operations, education and other items." . .