svoid tok_dotPlus(LS tok) {
  jreplace(tok, ".+<id>", ".$3($3)");
}