9388 pounds and 3 ounces = 4258.4102 kg