#include<bits/stdc++.h>
using namespace std;
const int maxn = 5005;
char s[maxn], t[maxn];
int lcp[maxn][maxn], lcp1[maxn][maxn], cnt[maxn][maxn], sum[maxn][maxn];
long long ans;
void Check(char *a, char *b, int type) {
	int la = strlen(a + 1), lb = strlen(b + 1);
// cerr << la << " " << lb << " " << type << endl;
	for(int i = 0; i <= la + 1; ++ i)
		for(int j = 0; j <= la + 1; ++ j)
			cnt[i][j] = lcp[i][j] = sum[i][j] = 0;
	for(int i = 0; i <= la + 1; ++ i)
		for(int j = 0; j <= lb + 1; ++ j)
			lcp1[i][j] = 0;
	for(int i = 1; i <= la + 1; ++ i)
		lcp[i][la + 1] = 0;
	for(int i = la; i >= 1; -- i) {
		for(int j = i - 1; j >= 1; -- j) {
			if(a[i] == a[j]) {
				lcp[j][i] = lcp[j + 1][i + 1] + 1;
			}
			else {
				lcp[j][i] = 0;
			}
		}
	}
	for(int l = 1; l <= la; ++ l) {
		for(int r = l + 1; r <= la + 1; ++ r) {
			int tmp = min(r - l, lcp[l][r]);
// cerr << l << " " << r << " " << tmp << endl;
			if(!type) {
				++ cnt[l][r - 1];
				-- cnt[l + tmp + 1][r - 1];
			}
			else if(tmp) {
				++ cnt[l + 1][r - 1];
				-- cnt[l + tmp + 1][r - 1];
			}
		}
	}
	for(int i = 1; i <= la; ++ i)
		for(int j = 1; j <= i; ++ j)
			cnt[j][i] += cnt[j - 1][i];
// for(int i = 1; i <= la; ++ i, cerr << endl)
// 	for(int j = i; j <= la; ++ j)
// 		cerr << cnt[i][j] << " ";
	for(int i = 1; i <= la; ++ i)
		for(int j = i; j <= la; ++ j)
			sum[i][j] = sum[i][j - 1] + cnt[i][j];
	for(int i = la; i >= 1; -- i)
		for(int j = lb; j >= 1; -- j)
			if(a[i] == b[j])
				lcp1[i][j] = lcp1[i + 1][j + 1] + 1;
			else
				lcp1[i][j] = 0;
	for(int i = 1; i <= la; ++ i) {
		for(int j = 1; j <= lb; ++ j) {
			if(lcp1[i][j]) {
				ans += sum[i][min(la, i + lcp1[i][j] - 1)] - sum[i][i - 1];
			}
		}
	}
}
int main() {
	scanf("%s", s + 1);
	scanf("%s", t + 1);
	Check(s, t, 0);
// cerr << ans << endl;
	Check(t, s, 1);
// cerr << ans << endl;
	printf("%lld\n", ans);
}