4259 kg = 9389 pounds and 7.8 ounces