sS weekday_after_ymdSlashes(int weekdayNr, S date) {
  int day1 = dayOfWeek_nr(parseYYYYslashMMslashDD(date));
  ret datePlusDays_slashes(date, mod(weekdayNr-day1-1, 7)+1);
}