12.5 percent of 280 billion = 35000000000