#include<bits/stdc++.h>
#include<bits/extc++.h>
#define int long long
using namespace std;
using namespace __gnu_pbds;
constexpr int M=1e5+5;
int n,k,ans;
gp_hash_table<int,int>mp;
int read(){
    int x=0;char ch=getchar();
    while (!isdigit(ch)) ch=getchar();
    while (isdigit(ch)) x=x*10+ch-48,ch=getchar();
    return x;
}
bool check(int x){
    while (x){
        if (x%10==7) return 1;
        x/=10;
    } return 0;
}
signed main(){
    n=read();k=read();
    for (int i=1;i<=n;i++) mp[read()]++;
    ans=read();
    while ((mp.find(ans)!=mp.end())+(ans%k>0)+check(ans)!=1)
        ans++;
    printf("%lld\n",ans);
    return 0;
}