#include<bits/stdc++.h>
#define int long long
using namespace std;
constexpr int M=1e5+5;
int n,k,p=1,l,h,cnt,ans;
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;
}
signed main(){
    n=read();k=read();
    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();str=to_string(ans);
    reverse(str.begin(),str.end());
    l=(int)str.size()-1;
    for (int i=0;i<=l;i++) s[i]=str[i]-'0',cnt+=s[i]==7;
    while (p<=n&&a[p]<ans) p++;
    while ((cnt>0)+(ans%k>0)+(ans==a[p])!=1){
        p+=ans==a[p];ans++;h=-1;
        for (int i=0;i<=l;i++)
            if (s[i]==9) h=i;
            else break;
        if (s[h+1]==6) cnt++;
        else if (s[h+1]==7) cnt--;
        for (int i=0;i<=h;i++) s[i]=0;
        s[h+1]++;l=max(l,h+1);
    }
    printf("%lld\n",ans);
    return 0;
}