#include <stdio.h>

int main(void){
	char numStr[10000];
	scanf("%s",numStr);
	int i = 1;
	if(numStr[0] != '1'){
		i = -1;
	}else{
		while(numStr[i] != '\0'){
			if(numStr[i] != '3'){
				i = -1;
				break;
			}
			i++;
		}
	}
	if(i > 0){
		i--;
	}
	printf("%d",i);
}