4157 kg = 9164 pounds and 9.86 ounces