4257.4 kg = 9385 pounds and 15.37 ounces