9137 pounds and 15 ounces = 4144.8987 kg