#include<stdio.h>
#include<string.h>
int main(){
    char str1[301],str2[11],str3[11];
    scanf("%[^,],%[^,],%s",str1,str2,str3);
    int len1=strlen(str1);
    int len2=strlen(str2);
    int len3=strlen(str3);
    int min,max;
    int ismin=0,ismax=0;
    for(int i=0;i<len1;i++){
        if(strncmp(str1+i,str2,len2)==0){
            min=i+len2;
            ismin=1;
            break;                     
        }
    }                 
    for(int i=len1;i>=0;i--){
        if(strncmp(str1+i,str3,len3)==0){
            max=i;
            ismax=1;
            break;
        }
    }
    if(ismax==0||ismin==0||min>max){
        printf("-1");
    }else{
        printf("%d",max-min);
    }
    return 0;
}