Each time getNextDoc() is called, getDocId() will return the doc id of the last document indexed. A doc id can be used to identify a document in a SearchFilter.