at one hundred and thirty five billion dollars