134 billion