25 percent of 41.7 billion = 10.43