Check the estimated value of @ie_555