9385 pounds and 3 ounces = 4257.0494 kg