+ void writeHeader(const string& headerid, const char *header, long unsigned int size, int actnequi);
+ void * getHeader(const string& headerid);
+ string getOutFileName() { return outFileName.str(); }
+ string getInFileName() { return DATADIR + "/" + openFileDesc.filename; }
+ static unsigned long hash(const string& str);
+ void closeInFile() { inFile.close(); }
+ int inFilesLeft() { return inFiles.size(); }
+