#include<bits/stdc++.h>
using namespace std;
#define pii pair<int,int>
#define mp make_pair
#define pb push_back
typedef long long LL;

inline int read(){
	int x = 0 , f = 1 ; char c = getchar() ;
    while( c < '0' || c > '9' ) { if( c == '-' ) f = -1 ; c = getchar() ; } 
    while( c >= '0' && c <= '9' ) { x = x * 10 + c - '0' ; c = getchar() ; } 
    return x * f ;
}

const int maxn = 5020;
LL Ans;
int n,m,cnt;
int z[maxn],s[maxn][maxn];
char A[maxn],B[maxn];
int sz[maxn*maxn/2];
int son[maxn*maxn/2][26];

void Clear(){
    for(int i=0;i<=n;i++)
        for(int j=0;j<=n;j++)
            s[i][j] = 0;
    for(int i=0;i<=cnt;i++){
        for(int j=0;j<26;j++) son[i][j] = 0;
        sz[i] = 0;
    }
    cnt = 0;
}

void build(){
    for(int i=1;i<=m;i++){
        int now = 0;
        for(int j=0;i+j<=m;j++){
            int t = B[i+j] - 'a';
            if(!son[now][t]) son[now][t] = ++cnt;
            now = son[now][t];
            sz[now]++;
            // cout<<son[now][B[i+j]]<<endl;
            // now = t;
        }
    }
}

void getlcp(char ss[],int id){
    int N = strlen(ss);
    for(int i=0;i<=n;i++) z[i] = 0;
    for (int i = 1, l = 0, r = 0; i < N; ++i) {
        if (i <= r && z[i - l + id] < r - i + 1) {
            z[i + id] = z[i - l + id];
        } 
        else {
            z[i + id] = max(0, r - i + 1);
            while (i + z[i + id] < n && ss[z[i + id]] == ss[i + z[i + id]]) ++z[i + id];
        }
        if (i + z[i + id] - 1 > r) l = i, r = i + z[i + id] - 1;
    }
    int i = id;
    for(int j=i+2;j<=n;j++){
        int t = z[j];
        t = min(t,j - 1 - i);
        s[i+1][j-1]++;
        s[i+t+1][j-1]--;
    }
}

void bf(){
    for(int j=1;j<=n;j++){
        for(int i=1;i<=n;i++){
            s[i][j] += s[i-1][j];
        }
    }
    for(int i=1;i<=n;i++){
        int now = 0;
        for(int j=i;j<=n;j++){
            int t = A[j] - 'a';
            // int t = son[now][A[j]];
            if(!son[now][t]) break;
            now = son[now][t];
            Ans += s[i][j] * sz[now];
        }
    }
}

void BF(){
    for(int i=1;i<=n;i++){
        int now = 0;
        for(int j=i;j<=n;j++){
            int t = A[j] - 'a';
            if(!son[now][t]) break;
            now = son[now][t];
            Ans += sz[now];
        }
    }
}

void solve(){
    scanf("%s",A+1);n = strlen(A+1);
    scanf("%s",B+1);m = strlen(B+1);
    build();
    // get_lcp();
    for(int i=1;i<=n;i++) getlcp(A+i,i);
    bf();
    Clear();
    swap(A,B);
    swap(n,m);
    build();
    for(int i=1;i<=n;i++) getlcp(A+i,i);
    bf();
    BF();
    printf("%lld\n",Ans);
}

int main(){
	// freopen("1.txt","r",stdin);
	int T = 1;
	// T = read();
	while(T--) solve();
	return 0;
}