#include <stdio.h>
int main(){
  int i,j,f=1,x[9];
  for(i=0;i<8;i++)
    scanf("%d ",&x[i]);
  scanf("%d\n",&x[i]);
  for(i=1;i<=10;i++){
    for(j=0;j<9;j++){
      if(x[j]==i)f=0;
    }
    if(f){
      printf("%d\n",i);
      return 0;
    }
    f=1;
  }
}