12 percent of 4.25 billion = 510000000