#include<bits/stdc++.h>
#define int long long
using namespace std;
constexpr int M=1e5+5;
int n,k,p=1,ans,pw[20];
string str;int a[M],s[M];
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;
}
int next1(int x){return x/k*k+k;}
int next2(int x){
    str=to_string(x+1);
    reverse(str.begin(),str.end());
    for (int i=(int)str.size()-1;~i;i--)
        if (str[i]=='7'){
            int ans=pw[i]*8;
            for (int j=i+1;j<str.size();j++)
                ans+=pw[j]*(str[j]-'0');
            return ans;
        }
    return x+1;
}
signed main(){
    n=read();k=read();
    for (int i=pw[0]=1;i<=18;i++) pw[i]=pw[i-1]*10;
    for (int i=1;i<=n;i++) a[i]=read();
    sort(a+1,a+n+1);n=unique(a+1,a+n+1)-a-1;
    ans=read(); while (p<=n&&a[p]<ans) p++;
    while ((a[p]==ans)+(ans%k>0)+check(ans)!=1){
        ans=min(next1(ans),next2(ans));
        while (p<=n&&a[p]<ans) p++;
    }
    printf("%lld\n",ans);
    return 0;
}