#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],S[maxn],v[maxn];
int nxt[maxn];
char A[maxn],B[maxn];

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


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(char ss[],int id){
    int N = strlen(ss+1);
    int pos = 0;
    for(int i=1;i<=n;i++) nxt[i] = v[i] = 0;
    for(int i=2;i<=N;i++){ 
        while(pos&&ss[pos+1]!=ss[i]) pos=nxt[pos];
        if(ss[pos+1]==ss[i]) pos++;
        nxt[i] = pos;
    }
    pos = 0;
    for(int i=0;i<=n;i++) S[i] = 0;
    for(int i=1;i<=m;i++){
        while(pos&&ss[pos+1]!=B[i]){
            pos = nxt[pos];
            // if(id==9) cout<<i<<endl;
            // S[id]++;
            // S[id+pos]--;
            //v[pos]++;
        }
        if(ss[pos+1]==B[i]) pos++;
        // if(pos==1&&id==9) cout<<i<<endl;
        // if(id==9) cout<<pos<<" "<<i<<endl;
        // S[id+pos-1]++;
        // S[id+pos]--;
        v[pos]++;
    }
    // while(pos){
    //     S[id]++;
    //     S[id+pos]--;
    //     pos = nxt[pos];
    // }
    for(int i=n;i>=1;i--){
        v[nxt[i]] += v[i];
        // if(v[i]) cout<<"ttt"<<" "<<id<<" "<<i<<" "<<v[i]<<endl;
        // S[id]+=v[i];
        // S[id+i]-=v[i];
    }
    for(int i=1;i<=n;i++) S[i] += S[i-1];
    for(int i=id;i<=n;i++){
        // if(v[i-id+1]&&s[id][i]) cout<<id<<" "<<i<<" "<<v[i-id+1]<<" "<<s[id][i]<<endl;
        Ans += v[i-id+1] * s[id][i];
    }
}

void BF(char *ss,int id){
    int N = strlen(ss+1);
    int pos = 0;
    for(int i=1;i<=N;i++) nxt[i] = 0;
    for(int i=2;i<=N;i++){
        while(pos&&ss[pos+1]!=ss[i]) pos=nxt[pos];
        if(ss[pos+1]==ss[i]) pos++;
        nxt[i] = pos;
    }
    pos = 0;
    for(int i=0;i<=n;i++) S[i] = v[i] = 0;
    for(int i=1;i<=m;i++){
        while(pos&&ss[pos+1]!=B[i]){
            pos = nxt[pos];
            // if(id==9) cout<<i<<endl;
            // S[id]++;
            // S[id+pos]--;
            //v[pos]++;
        }
        if(ss[pos+1]==B[i]) pos++;
        // if(pos==1&&id==9) cout<<i<<endl;
        // if(id==9) cout<<pos<<" "<<i<<endl;
        // S[id+pos-1]++;
        // S[id+pos]--;
        v[pos]++;
    }
    // while(pos){
    //     S[id]++;
    //     S[id+pos]--;
    //     pos = nxt[pos];
    // }
    for(int i=n;i>=1;i--){
        v[nxt[i]] += v[i];
        // if(v[i]) cout<<"ttt"<<" "<<id<<" "<<i<<" "<<v[i]<<endl;
        // S[id]+=v[i];
        // S[id+i]-=v[i];
    }
    for(int i=1;i<=n;i++) S[i] += S[i-1];
    for(int i=id;i<=n;i++){
        // if(v[i-id+1]&&s[id][i]) cout<<id<<" "<<i<<" "<<v[i-id+1]<<" "<<s[id][i]<<endl;
        Ans += v[i-id+1];// * s[id][i];
    }
}

void solve(){
    scanf("%s",A+1);n = strlen(A+1);
    scanf("%s",B+1);m = strlen(B+1);
    for(int i=1;i<=n;i++) getlcp(A+i,i);
    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++) bf(A+i-1,i);
    // cout<<Ans<<endl;
    Clear();
    swap(A,B);
    swap(n,m);
    // build();
    for(int i=1;i<=n;i++) getlcp(A+i,i);
    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++) bf(A+i-1,i);
    // cout<<Ans<<endl;
    for(int i=1;i<=n;i++) BF(A+i-1,i);
    printf("%lld\n",Ans);
}

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