#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;
		}
}
struct Node{
	int s[26];
	short Su;
}Tr[maxN];
int rt=1,Idx=1;
void Insert(char* s){
	int x=rt,Ln=strlen(s+1);
	for(int i=1;i<=Ln;i++){
		int c=s[i]-'a';
		if(!Tr[x].s[c])Tr[x].s[c]=++Idx;
		Tr[x=Tr[x].s[c]].Su++;
	}
}
void Journey(char* s,int *o){
	int x=rt,Ln=strlen(s+1);
	for(int i=1;i<=Ln;i++){
		int c=s[i]-'a';
		x=Tr[x].s[c];
		o[i]=Tr[x].Su;
	}
}
void Clear(){
	for(int i=1;i<=Idx;i++){
		for(int j=0;j<26;j++)
			Tr[i].s[j]=0;
		Tr[i].Su=0;
	}
	Idx=1,rt=1;
}
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;
			int L=min(r-l+1,A[l-1][r])-1;
			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;
}