13 1 / 2 milliarder kilogrammer * ).