9342 pounds and 3 ounces = 4237.545 kg