#include <stdio.h>
int B=0;
int main(void){
    for(int i=1;scanf("%d",&B)!=EOF;i++)if(B!=i){
        printf("%d\n",i);
        break;
    }
    return 0;
}