static void showImagesOf(S progID) {
  O o = hotwire("#1005397");
  set(o, +progID);
  callMain(o);
}