85 percent of 5,700,000,000 = 4.25