#include"bits/stdc++.h"
using namespace std;
const int maxn = 5010;
const int maxN = 12500010;
int n,m;
char a[maxn],b[maxn];
int A[maxn][maxn];
void GetLcp(char* a,char* b,int Ta,int Tb){
	for(int i=Ta;i>=1;i--)
		for(int j=Tb;j>=1;j--){
			if(a[i]==b[j])A[i][j]=A[i+1][j+1]+1;
			else A[i][j]=0;
		}
}
void GetLcs(char* a,char* b,int Ta,int Tb){
	for(int i=1;i<=Ta;i++)
		for(int j=1;j<=Tb;j++){
			if(a[i]==b[j])A[i][j]=A[i-1][j-1]+1;
			else A[i][j]=0;
		}
}
unordered_map<string,int>Mp;
void Insert(char* s){
	int Ln=strlen(s+1);
	string St;
	for(int i=1;i<=Ln;i++){
		St+=s[i];
		Mp[St]++;
	}
}
void Journey(char* s,int *o){
	int Ln=strlen(s+1);
	string St;
	for(int i=1;i<=Ln;i++){
		St+=s[i];
		o[i]=Mp[St];
	}
}
void Clear(){
	Mp.clear();
}
int s[maxn];
long long Ans=0;
void Solve(){
	GetLcs(a,a,n,n);
	for(int j=1;j<=m;j++)
		Insert(b+j-1);
	for(int l=2;l<=n;l++){
		Journey(a+l-1,s);
		for(int i=1;i<=n;i++)
			s[i]=s[i]+s[i-1];
		for(int r=l;r<=n;r++){
			if(!A[l-1][r])continue;
			if(min(r-l+1,A[l-1][r])==r-l+1)Ans+=s[r-l];
			else Ans+=s[r-l]-s[r-l-A[l-1][r]];
		}
	}
	Clear();
}
int main(){
	scanf("%s%s",a+1,b+1);
	n=strlen(a+1),m=strlen(b+1);
	GetLcp(a,b,n,m);
	for(int i=1;i<=n;i++)
		for(int j=1;j<=m;j++)
			Ans+=A[i][j];
	Solve();
	swap(a,b),swap(n,m);
	Solve();
	cout<<Ans<<endl;
}