if (this.hasEnvelop()) {
            hash = (37 * hash) + ENVELOP_FIELD_NUMBER;
            hash = (53 * hash) + this.getEnvelop().hashCode();
        }