25 percent of 6125000000 = 1531250000