بلغ نحو 4.2 تريليون دولار.