9237 pounds and 3 ounces = 4189.9178 kg