9237 pounds and 13 ounces = 4190.2013 kg