static S replaceNumberWith(S s, S replacement) {
  ret s.replaceFirst("\\d+", replacement);
}