static void useDBOf(S progID) {
  setDBProgramID(progID);
}