#include <stdio.h>

int main()
{
    char n[128];
    scanf("%s", n);
    int r;
    
    if(n[0] != '1'){
        r = -1;
    } else {
        r = 0;
        for(int i=1; n[i]!='\0'; i++){
            if(n[i] != '3'){
                r = -1;
                break;
            } else {
                r++;
            }
        }
        if(r == 0){
            r = -1;
        }
    }
    
    printf("%d\n", r);
    return 0;
}