code: public String getLocalNameFromExpandedNameID(int ExpandedNameID) {
  
             // Get expanded name
             String expandedName = m_localNames.indexToString(ExpandedNameID);
             // Remove prefix from expanded name
             int colonpos = expandedName.indexOf(":");
             String localName = expandedName.substring(colonpos+1);
             return localName;
          }
docs: Given an expanded-name ID, return the local name part.
  
  @param ExpandedNameID an ID that represents an expanded-name.
  @return String Local name of this node.