#include <stdio.h> 

int main(int argc, char *argv[]){
    int n, i;
    for(i = 1; i <= 10; i++)
    {
       scanf("%d", &n);
        if(i != n)
        { printf("%d\n", i); break;}
    }

    return 0;
}