9235 pounds and 13 ounces = 4189.2941 kg