#include <bits/stdc++.h>
#define ull unsigned long long
using namespace std;
char s[5011],t[5011];
int n,m;
ull ans=0;
char str[5011];
int nxt[5011],cnt[5011];
int c[5011][5011];
	struct node{int nxt[26],link,len;bool suf;}u[100011];int sz,lst,tim[100011];
	void sam_init()
	{
		memset(u,0,sizeof(u));
		sz=lst=0;for(int i=0;i<26;++i)u[0].nxt[i]=0;u[0].link=-1;u[0].len=0;u[0].suf=0;
	}
	void sam_append(char c)
	{
		int nw=++sz;for(int i=0;i<26;++i)u[nw].nxt[i]=0;u[nw].len=u[lst].len+1;u[nw].suf=1;
		int p=lst;
		while(~p&&!u[p].nxt[c-'a'])u[p].nxt[c-'a']=nw,p=u[p].link;
		if(!~p)u[p].link=0;
		else
		{
			int q=u[p].nxt[c-'a'];
			if(u[p].len+1==u[q].len)u[nw].link=q;
			else
			{
				int clone=++sz;for(int i=0;i<26;++i)u[clone].nxt[i]=u[q].nxt[i];u[clone].link=u[q].link;u[clone].len=u[p].len+1;u[clone].suf=0;
				while(~p&&u[p].nxt[c-'a']==q)u[p].nxt[c-'a']=clone,p=u[p].link;
				u[q].link=u[nw].link=clone;
			}
		}lst=nw;
	}
	int cmp(int a,int b){return u[a].len<u[b].len;}
int id[100011];
void solve(int I,bool d=0)
{//printf("solve(%d)\n",I);
	int pt=0;
	for(int i=I+1;i<=n;++i)str[++pt]=s[i];
	str[++pt]='#';
	for(int i=1;i<=I;++i)str[++pt]=s[i];
	// printf("str:%s\n",str+1);
	nxt[0]=-1;nxt[1]=0;
	for(int i=2;i<=n+1;++i)
	{
		int p=nxt[i-1];
		while(~p&&str[p+1]!=str[i])p=nxt[p];
		nxt[i]=p+1;
	}
	for(int i=1;i<=n+1;++i)cnt[i]=cnt[nxt[i]]+1;
	// printf("nxt:");for(int i=1;i<=n+1;++i)printf("%d ",nxt[i]);putchar(10);
	// printf("cnt:");for(int i=1;i<=n+1;++i)printf("%d ",cnt[i]);putchar(10);
	for(int l=1;l<=I;++l)
	{
		int coe=cnt[n+1-(I-l+1)]-d;//printf("[%d,%d] coe:%d\n",l,I,coe);
		c[l][I]=coe;
		// printf("after [%d,%d] ans:%llu\n",l,I,ans);
	}
}
int main()
{
	scanf("%s%s",s+1,t+1);
	n=strlen(s+1),m=strlen(t+1);
	// reverse(s+1,s+1+n);reverse(t+1,t+1+m);
	sam_init();
	for(int i=1;i<=m;++i)sam_append(t[i]);
	// for(int i=0;i<=sz;++i)
	// {
	// 	printf("i:%d link:%d nxt:",i,u[i].link);for(int j=0;j<26;++j)if(u[i].nxt[j])printf("%c->%d ",j+'a',u[i].nxt[j]);putchar(10);
	// }
	for(int i=1;i<=sz;++i)id[i]=i;
	sort(id+1,id+1+sz,cmp);
	for(int i=1;i<=sz;++i)tim[i]=0;
	for(int i=sz;i;--i)tim[id[i]]+=u[id[i]].suf,tim[u[id[i]].link]+=tim[id[i]];
	tim[0]=0;
	for(int i=1;i<=n;++i)solve(i);
	for(int l=1;l<=n;++l)
	{
		int cur=0;
		for(int r=l;r<=n;++r)
		{
			if(!u[cur].nxt[s[r]-'a'])break;
			if(~cur)cur=u[cur].nxt[s[r]-'a'],ans+=1ll*c[l][r]*tim[cur];
			else cur=0;//printf("l:%d r:%d c:%d cur:%d tim:%d\n",l,r,c[l][r],cur,tim[cur]);
		}
	}
	swap(s,t);swap(n,m);
	sam_init();
	for(int i=1;i<=m;++i)sam_append(t[i]);
	// for(int i=0;i<=sz;++i)
	// {
	// 	printf("i:%d link:%d nxt:",i,u[i].link);for(int j=0;j<26;++j)if(u[i].nxt[j])printf("%c->%d ",j+'a',u[i].nxt[j]);putchar(10);
	// }
	for(int i=1;i<=sz;++i)id[i]=i;
	sort(id+1,id+1+sz,cmp);
	for(int i=1;i<=sz;++i)tim[i]=0;
	for(int i=sz;i;--i)tim[id[i]]+=u[id[i]].suf,tim[u[id[i]].link]+=tim[id[i]];
	// for(int i=1;i<=sz;++i)printf("%d ",tim[i]);putchar(10);
	tim[0]=0;
	for(int i=1;i<=n;++i)solve(i,1);
	for(int l=1;l<=n;++l)
	{
		int cur=0;
		for(int r=l;r<=n;++r)
		{
			if(!u[cur].nxt[s[r]-'a'])break;
			if(~cur)cur=u[cur].nxt[s[r]-'a'],ans+=1ll*c[l][r]*tim[cur];
			else cur=0;//printf("l:%d r:%d c:%d cur:%d tim:%d\n",l,r,c[l][r],cur,tim[cur]);
		}
	}
	printf("%llu\n",ans);
	fclose(stdin);fclose(stdout);return 0;
}