char *getTokenFromImageID(int);
char *getImageConfigFilename();
void InitImageList(struct ConfigInfo *, int, struct ConfigInfo *,
char *getTokenFromImageID(int);
char *getImageConfigFilename();
void InitImageList(struct ConfigInfo *, int, struct ConfigInfo *,