4145 kg = 9138 pounds and 2.57 ounces