public double DumpPerc() { int total = 0; for (int k = 0; k < xrefObj.Count; ++k) { if (xrefObj[k] != null) ++total; } return (total * 100.0 / xrefObj.Count); }