#include<stdio.h>
#include<string.h>
int main() {
char a[20]="";
char b[10]="0";
char c='a';
int i=0;
int count0=0;
int count=0;
int first=-1;
int flag=0;
scanf("%s",b);
getchar();
for(int k=0; k<strlen(b); k++) {
if(b[k]>='A'&&b[k]<='Z')
b[k]=b[k]+32;
}
while(true) {
for(c=getchar() ; c!=' '&&c!='\n'; c=getchar()) {
if(c>='A'&&c<='Z')
c=c+32;
a[i++]=c;
}
if(i!=0)
count0++;
if(strcmp(a,b)==0) {
if(flag==0) {
flag=1;
first=count0-1;
}
count++;
}
if(c==' ')
count0++;
i=0;
for(int k=0; k<20; k++) {
a[k]=0;
}
if(c=='\n')
break;
}
if(count!=0)
printf("%d %d",count,first);
else printf("%d",first);
}