9012 pounds and 13 ounces = 4088.143 kg