Each time getNextDoc() is called, getDocTypeId() will return an integer identifying the file type of the last document indexed