#include <bits/stdc++.h>
using namespace std;
#define int long long
using ll = long long;
void solve(void) {
    string a,b;cin>>a>>b;
    ll ans=0;
    auto ope=[&](int t)->void {
        int sa=a.size();
        int sb=b.size();
        string ra=a,rb=b;reverse(ra.begin(),ra.end());reverse(rb.begin(),rb.end());
        vector<vector<int>> fab(sa+1,vector<int>(sb+1));
        for(int i=sa-1;i>=0;i--){
            for(int j=sb-1;j>=0;j--){
                if(ra[i]==rb[j])  fab[i][j]=1+fab[i+1][j+1];
                else fab[i][j]=0;
            }
        }
        vector<vector<int>> sum(sa,vector<int>(sa+2,0));

        for(int i=0;i<sa;i++){
            for(int j=0;j<sb;j++){
                sum[i][0]++;
                sum[i][fab[i][j]+1]--;
                // if(i==sa-1) cerr<<fab[i][j]<<' '<<j<<'\n';
            }
            for(int j=1;j<=sa+1;j++){
                sum[i][j]+=sum[i][j-1];
            }
            for(int j=1;j<=sa+1;j++){
                sum[i][j]+=sum[i][j-1];
            }
        }
        fab.clear();
        vector<vector<int>> fa(sa+1,vector<int>(sa+1));
        for(int i=sa-1;i>=0;i--){
            for(int j=sa-1;j>=0;j--){
                if(a[i]==a[j])  fa[i][j]=1+fa[i+1][j+1];
                else fa[i][j]=0;
            }
        }
        // cerr<<sum[sa-1][1]-sum[sa-1][0]<<'\n'
        for(int i=0;i<sa;i++){
            for(int j=i+1;j<=sa;j++){
                int len=min(fa[i][j],j-i);
                int lw=max(1ll,j-i-len),up=j-i;
                if(t)   up--;
                ans=(ans+sum[sa-j][up]-sum[sa-j][lw-1]);
                // cerr<<i<<' '<<j<<' '<<lw<<' '<<up<<' '<<ans<<'\n';
            }
            
        }
    };
    ope(0);
    swap(a,b);
    // cerr<<'\n';
    ope(1);
    cout<<ans<<'\n';
}

signed main() {
    ios::sync_with_stdio(false), cin.tie(nullptr);

    int _ = 1;
    while (_--) solve();

    return 0;
}