9435 pounds and 15 ounces = 4280.0693 kg