9388 pounds and 15 ounces = 4258.7504 kg