#include<stdio.h>

int main(){
    char str='\0';
    int i=0;
    
    for(;i<9;i++){
        str = getchar();
        if(str < '0' || str > '9'){
            continue;
        }else if((int)str != i + (int)'1'){
            printf("%d",i + 1);
            break;
        }
    }
    if(i == 9)
        printf("10");
    
    return 0;
}