9335 pounds and 15 ounces = 4234.71 kg