#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  int n;
  string mask;
  cin >> n >> mask;
  auto get_mask = [&](int delta) {
    string cur;
    while (delta) {
      int dig = delta % 10;
      if (dig == 4 || dig == 7) cur += char('0' + dig);
      delta /= 10;
    }
    reverse(cur.begin(), cur.end());
    return cur;
  };
  for (int i = n + 1;; i++) {
    if (get_mask(i) == mask) {
      cout << i << '\n';
      return 0;
    }
  }
  return 0;
}
