#include<stdio.h>

int main(void){
    
    char N[100];
    int i,n;
    scanf("%s",N);
    
    for(i=0;N[i]!='\0';i++);
    i--;
    
    if(i==0){
        printf("-1\n");
        return 0;}
    
    for(n=i;n>0;n--){
        if(N[n]!='3'){
            printf("-1\n");
            return 0;}}
    
    if(N[n]!='1'){
        printf("-1\n");
        return 0; }
    
    printf("%d\n",i);
    
        
    return 0;
    
}