!7

p-subst {
  shutDownDB(#1006463);
  shutDownDB(#1007236);
  print("Yo, done!");
}