6-billion budget from the United States.
A $6 billion budget from the US