#include <stdio.h>
int main() {
char a[1001] ;//= "aaa\n"
char b[1001] ;//= "aa\n";
fgets(a, 1001, stdin); //"aaa\n"
fgets(b, 1001, stdin); //"aa\n"
long long int p1 = 0,p2 = 0;
while(a[p1] != '\n' ) {
p1++;
}
while(b[p2] != '\n' ) {
p2++;
}
printf("%lld %lld\n", p1,p2);
long long int count = 0, count1 = 0;
for(int i = 0; i < p1 - p2 +1; i++) {
int k = 0;
count1 = 0;
for(int j = i; j < i + p2;j++) {
if(a[j] == b[k]) {
count1++;
}
k++;
}
if(count1 == p2) {
count++;
}
}
printf("%lld", count);
return 0;
}