#include <stdio.h>
#include <string.h>
#include <ctype.h>
int arr[10000006];
char a[30];
char b[10000006];
int main()
{
int l = 0;
int i = 0, j = 0;
int danci = -1;
scanf("%s", a);
a[strlen(a)] = '\0';
for (int i = 0; a[i]; i++)
{
a[i] = tolower(a[i]);
}
while (getchar() != '\n')
;
i = 0;
char c;
while ((c = getchar()) != '\n')
{
b[i] = c;
i++;
}
b[i] = ' ';
b[i + 1] = 'i';
b[i + 2] = '\0';
int sum = 0;
i = 0;
while (b[i] != '\0')
{
if (b[i] == ' ')
{
if (j > 0)
{
danci++;
for (int k = i - j; k < i; k++)
{
b[k] = tolower(b[k]);
}
if (strncmp(a, &b[i - j], j) == 0)
{
sum++;
arr[l] = danci;
l++;
}
j = 0;
}
}
else
{
j++;
}
i++;
}
if (sum > 0)
{
printf("%d ", sum);
printf("%d", arr[0]);
}
else
{
printf("-1");
}
return 0;
}