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