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.

Input

The single line contains integer y (1000 ≤ y ≤ 9000) — the year number.

Output

Print a single integer — the minimum year number that is strictly larger than y and all it's digits are distinct. It is guaranteed that the answer exists.

Examples

Input

1987


Output

2013


Input

2013


Output

2014
#include <bits/stdc++.h>
using namespace std;
int number, temp;
int o(0), t(0), h(0), T(0);
void update() {
  o = number % 10;
  number = number / 10;
  t = number % 10;
  number = number / 10;
  h = number % 10;
  number = number / 10;
  T = number % 10;
}
int check() {
  bool flag = true;
  while (flag) {
    if (o == t || o == h || o == T) {
      temp++;
      number = temp;
      update();
    } else if (t == h || t == T) {
      temp += 1;
      number = temp;
      update();
    } else if (h == T) {
      temp += 1;
      number = temp;
      update();
    } else {
      flag = false;
    }
  }
  if (!flag) {
    return temp;
  }
}
int main() {
  cin >> number;
  number++;
  temp = number;
  o = number % 10;
  number = number / 10;
  t = number % 10;
  number = number / 10;
  h = number % 10;
  number = number / 10;
  T = number % 10;
  cout << check();
}
