public int getDocTypeId();
TypeId identifying the file format of the currently selected document
SearchResults Class