#include<bits/stdc++.h>
#include<atcoder/all>
#ifdef LOCAL
#include <debug_print.hpp>
#define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#define debug(...) (static_cast<void>(0))
#endif
using namespace atcoder;
using mint=modint1000000007;
using namespace std;
using ll=long long;
using ul=unsigned long long;
int dx[8] = {1, 0, -1, 0, -1, -1, 1, 1};
int dy[8] = {0, 1, 0, -1, -1, 1, -1, 1};
using Graph=vector<vector<int>>;
int main(){
    int N;
    ll X;
    cin>>N>>X;
    set<int>st;
    vector<int>C(N+1);
    for(int i=0;i<=N;i++)st.insert(i);
    queue<int>A;
    for(int i=0;i<N;i++){
        int a;
        cin>>a;
        if(a<=N)C[a]++;
        A.push(a);
        st.erase(a);
        if(X-1==i){cout<<a<<endl;return 0;}
    }
    X-=N;
    vector<ll>ans;
    int mex=0;
    for(int i=0;i<=N;i++)if(C[i]==0){mex=i;break;}
    ans.push_back(mex);
    A.push(mex);
    C[mex]++;
    st.erase(mex);
    if(A.front()<=N){
        C[A.front()]--;
        if(C[A.front()]==0)st.insert(A.front());
    }
    A.pop();
    while(true){
        mex=*st.begin();
        ans.push_back(mex);
        A.push(mex);
        C[mex]++;
        st.erase(mex);
        if(A.front()<=N){
            C[A.front()]--;
            if(C[A.front()]==0)st.insert(A.front());
        }
        A.pop();
        if(ans[0]==ans.back()){ans.pop_back();break;}
    }
    cout<<ans[((X-1)%ans.size()+ans.size())%ans.size()]<<endl;
}