def dist_digits(year): year += 1 year_str = str(year) year_set = set(year_str) # print(year_set) while (len(year_set) != 4): year += 1 year_str = str(year) year_set = set(year_str) return year if __name__ == "__main__": year = int(input()) print(dist_digits(year))