9259 pounds and 15 ounces = 4200.237 kg