9231 pounds and 5 ounces = 4187.2529 kg