It seems like the year of 2013 came only yesterday. Do you know a curious fact? The year of 2013 is the first year after the old 1987 with only distinct digits.

Now you are suggested to solve the following problem: given a year number, find the minimum year number which is strictly larger than the given one and has only distinct digits.
The single line contains integer *y* (1000 ≤ *y* ≤ 9000) — the year number.
# Решение задач проекта CODEFORSES, Задача 266B
#
# (C) 2021 Артур Ще, Москва, Россия
# Released under GNU Public License (GPL)
# email [email protected]
# -----------------------------------------------------------

'''
A. Красивый год
ограничение по времени на тест2 секунды
ограничение по памяти на тест256 мегабайт
вводстандартный ввод
выводстандартный вывод
Кажется, еще совсем недавно наступил новый 2013 год. А знали ли Вы забавный факт о том, что 2013 год является первым
годом после далекого 1987 года, в котором все цифры различны?

Теперь же Вам предлагается решить следующую задачу: задан номер года, найдите наименьший номер года,
который строго больше заданного и в котором все цифры различны.

Входные данные
В единственной строке задано целое число y (1000 ≤ y ≤ 9000) — номер года.

Выходные данные
Выведите единственное целое число — минимальный номер года, который строго больше y,
в котором все цифры различны. Гарантируется, что ответ существует.
'''

from datetime import datetime
import time
start_time = datetime.now()
import functools
from itertools import *
from collections import Counter
import random
import math

year=int(input())
while 1==1:
    year = year+1
    q=list(str(year))
    w1 = len(set(q))
    w2 = len(q)
#    print(year,w1,w2)
    if w1 == w2: break
print(year)