9258 pounds and 15 ounces = 4199.7834 kg