Next happy year

year = int(input()) + 1

while True:
    if len(set(str(year))) == len(str(year)):
        print(year)
        break
    else:
        year += 1

'''
Тук се ползва set() като последователност само и единствено уникални елементи. Следователно len(set()) при
вход 1001 връща стойност 3 (брой уникални елементи) докато len(str()) връща 4 - общ брой елементи. Когато достигнем
правилен изход двете стойности съвпадат - 1023. Броя на уникалните елементи (цифри съвтавляващи числото) е равен
на общия брой елементи. Тогава говорим за уникална цифра
https://stackoverflow.com/questions/48084973/explanation-for-lenset
'''