9438 pounds and 12 ounces = 4281.345 kg