9237 pounds and 15 ounces = 4190.258 kg