return getReader().maxDoc();
if ( !isInitialized() ) throw new IllegalStateException("Database must be initialized before use!");  int numdocs = 0; IndexReader reader = null; try { reader = getReader(); numdocs = reader.numDocs(); } finally { if ( reader != null ) reader.close(); }  return numdocs;
    public int getDocNum() throws IOException    {        return getReader().maxDoc();    }