code: public String getInstanceId() {
          String rc = toString();
          int i = rc.indexOf("@");
          if (i > 0) {
              rc = rc.substring(i + 1);
          }
          return rc;
      }
docs: /////////////////////////////////////////////////////////////////////////