9137 pounds and 3 ounces = 4144.5585 kg