95 percent of 25000000000000 = 23750000000000