$22.5 milliards