public static String GetDigest(String oid) { String ret = (String)digestNames[oid]; if (ret == null) return oid; else return ret; }