10% percent of 4.25 billion = 425000000