9257 pounds and 5 ounces = 4199.0463 kg