$17.9 billion