9439 pounds and 12 ounces = 4281.7986 kg