9137 pounds and 13 ounces = 4144.842 kg