#include<stdio.h>

int main(void){
 int B;
unsigned i;
 for(i = 1;; i++){
 scanf("%d", &B);
  if(B != i){
   printf("%d\n", i);
   return 0;
  }
 }
 return 0;
}