+char *getTokenFromImageID(int);
+char *getImageConfigFilename();
+int getImageListPropertyMappingSize();
+struct PropertyMapping *getImageListPropertyMapping();
+void InitImageList(struct ConfigInfo *, int, struct ConfigInfo *,
+ char **, char **, char **, char **, char **);
+