20 percent of 31 billion = 6200000000