4 ms·

I'd distribute it between SpaceX, NASA, and other space agencies and let them decide what's the best way to spend it :D