9400 pounds and 15 ounces = 4264.1935 kg