text: public String GetPIDString(long pid){String s = null;if (dictionary != null)s = (String)dictionary[pid];if (s == null)s = SectionIDMap.GetPIDString(FormatID.Bytes, pid);if (s == null)s = SectionIDMap.UNDEFINED;return s;}