!7

p-subst {
  shutDownDB(#1006463);
  shutDownDB(#1007236);
  print("All AI DBs shut down.\n");
}