4 * 10^9 kg