#include<bits/stdc++.h>
#define int long long
using namespace std;
void solve()
{
    function<short(vector<vector<short>>&v,string& a, int x, string& b, int y)>
		lcp = [&](vector<vector<short>>&v,string& a, int x, string& b, int y) {
    	if(x>=a.size()||y>=b.size())return (short)0;
		if(v[x][y]!=-1)return v[x][y];
		if(a[x]==b[y])return v[x][y]=(short)1+lcp(v,a,x+1,b,y+1);
		else return v[x][y]=0;
    };
    string s,t;
    cin>>s>>t;
    s=" "+s,t=" "+t;
    vector<vector<short>>cnts(s.size()+1,vector<short>(s.size()+1));
    vector<vector<short>>cntt(t.size()+1,vector<short>(t.size()+1));
	vector<vector<short>>anss=cnts,anst=cntt;
	vector<vector<short>>ss(s.size()+1,vector<short>(s.size()+1,-1));
	vector<vector<short>>st(s.size()+1,vector<short>(t.size()+1,-1));
	vector<vector<short>>tt(t.size()+1,vector<short>(t.size()+1,-1));
	for(int i=1;i<s.size();i++)
	{
		for(int j=1;j<t.size();j++)
		{
			int tmp=lcp(st,s,i,t,j);
			++cnts[i][i];
			--cnts[i][i+tmp];
			++cntt[j][j];
			--cntt[j][j+tmp];
		}
	}
	for(int i=1;i<s.size();i++)
	{
		for(int j=i+1;j<s.size();j++)
		{
			int tmp=min((short)(j-i),lcp(ss,s,i,s,j));
			++anss[i][j-1];
			--anss[i+1+tmp][j-1];
		}
		++anss[i][s.size()-1];
		--anss[i+1][s.size()-1];
	}
	for(int i=1;i<t.size();i++)
	{
		for(int j=i+2;j<t.size();j++)
		{
			int tmp=min((short)(j-i),lcp(tt,t,i,t,j));
			++anst[i+1][j-1];
			--anst[i+1+tmp][j-1];
		}
	}
	int ans=0;
	for(int i=1;i<s.size();i++)
		for(int j=i;j<s.size();j++)
			cnts[i][j]+=cnts[i][j-1],
			anss[i][j]+=anss[i-1][j],
			ans+=1ll*cnts[i][j]*anss[i][j];
	for(int i=1;i<t.size();i++)
		for(int j=i;j<t.size();j++)
			cntt[i][j]+=cntt[i][j-1],
			anst[i][j]+=anst[i-1][j],
			ans+=1ll*cntt[i][j]*anst[i][j];
	printf("%lld\n",ans);
}

signed main()
{
	solve();
	return 0;
}