$17.5 billion