85 percent of 55.5 billion = 47175000000