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