10 billion divided by 134