#include <stdio.h>
#define N 9

int main(void)
{
  int i, arr[N];

  for(i = 0; i < N; i++){
    scanf("%d", &arr[i]);
  }
  for(i = 1; i < N + 1; i++){
    if(arr[i - 1] != i){
      printf("%d\n", i);
      break;
    }
  }
  if(i == N + 1)  printf("%d\n", N + 1);

  return 0;
}