#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=5e3+10;
int n,m,pre[N][N],suf[N][N],flag,sum[2][N],ans;
string s,t;
void solve(){
	memset(pre,0,sizeof pre);
	memset(suf,0,sizeof suf);
	memset(sum,0,sizeof sum);
	for(int i=n;i>=1;i--){
		for(int j=n;j>=1;j--){
			if(s[i]==s[j]) pre[i][j]=pre[i+1][j+1]+1;
			else pre[i][j]=0;
		}
	}
	for(int i=1;i<=n;i++){
		for(int j=1;j<=m;j++){
			if(s[i]==t[j]) suf[i][j]=suf[i-1][j-1]+1;
			else suf[i][j]=0;
		}
	}
	for(int i=1;i<=n;i++){
		for(int j=0;j<=m;j++) sum[0][j]=sum[1][j]=0;
		for(int j=1;j<=m;j++){
			if(suf[i][j]){
				sum[0][suf[i][j]]++;
				sum[1][suf[i][j]]+=suf[i][j];
			}
		}
		for(int j=1;j<=m;j++) sum[0][j]+=sum[0][j-1],sum[1][j]+=sum[1][j-1];
		for(int j=1;j<=i;j++){
			int len=i-j+1;
			int l=1;
			int r=min(len-flag,m);
			l=max(l,len-pre[i+1][j]);
			if(l<=r){
				ans+=(sum[1][r]-sum[1][l-1])-(sum[0][r]-sum[0][l-1])*(l-1);
				ans+=(sum[0][m]-sum[0][r])*(r-l+1);
			}
		}
	}
}
signed main(){
	// freopen("in.in","r",stdin);
	// freopen("out.out","w",stdout);
	ios::sync_with_stdio(0);
	cin.tie(0);
	cout.tie(0);
	cin>>s>>t;
	n=s.size(),m=t.size();
	s=' '+s,t=' '+t;
	solve();
	swap(s,t);
	swap(n,m);
	flag=1;
	solve();
	cout<<ans<<'\n';
}