// Return the document ID public int getDocument() { if (_dom != null) { return _dom.getDocument(); } else { return super.getDocument(); } }