9417 pounds and 15 ounces = 4271.9046 kg