sbool isDummyPhoneNr(S s) {
  ret startsWith(digitsOnly(s), "123456");
}