void setProcessId(char *);
void getProcessId(char *, char *s);
void writeResult(char *, char *);
void writeToFile(char *, int, char **);
int readFromFile(char *, char **);