25 percent of 25.69 billion = 6.42