#include <stdio.h>
#include <string.h>
int main()
{
	char a[11];
	scanf("%s",a);
	int cnt=0;
	int n=strlen(a);
	char ch[1000001];
	int i=0;
	ch[0]=getchar();
	while((ch[i]=getchar())!='\n')
	{
		i++;
	}
	ch[i]='\0';
	for(i=0;a[i]!='\0';i++)
	{
		if(a[i]>='a'&&a[i]<='z')
		a[i]=a[i]-32; 
	}
	for(i=0;ch[i]!='\0';i++)
	{
		if(ch[i]>='a'&&ch[i]<='z')
		ch[i]=ch[i]-32; 
	}
	char *p;
	p=ch;
	while((p=strstr(p,a))!=NULL)
	{
		if((*(p-1)==' '||p==ch)&&(*(p+n)==' '||*(p+n)=='\0'))
		{
			cnt++;
			p++;
		}
		else
		p++;
	}
	p=ch;
	p=strstr(ch,a);
	if(cnt!=0)
	{
		printf("%d ",cnt);printf("%d",p-ch);
	}
	else printf("-1");
	return 0;
}