9257 pounds and 6 ounces = 4199.0747 kg