9012 pounds and 15 ounces = 4088.1997 kg