9237 pounds and 5 ounces = 4189.9745 kg