9442 pounds and 12 ounces = 4283.1594 kg