9134 pounds and 15 ounces = 4143.538 kg