25 percent of 31 billion = 7.75