#include<bits/stdc++.h>
#include<bits/extc++.h>
using namespace __gnu_pbds;
using namespace std;
using ll=long long;
const int N=5e3;
int n,m;
char s[N+5],t[N+5];
int z[N+5][N+5];
int vs[N+5][N+5];
ll ans;
void work(int l,int *z,int *vs){
    fill(z+l,z+m+1,0);
    for(int i=l+1,j=l,r=0;i<=m;i++){
        int &k=z[i]=(r<=i?0:min(z[i-j+l],r-i));
        if(i+k>=r){
            while(i+k<=m&&t[l+k]==t[i+k]) k++;
            j=i; r=i+k;
        }
    }
    for(int i=1,j=0,r=0;i<=n;i++){
        int k=(r<=i?0:min(z[i-j+l],r-i));
        while(i+k<=n&&l+k<=m&&s[i+k]==t[l+k]) k++;
        if(k>0) vs[l+k-1]++;
        if(i+k>r){
            j=i; r=i+k;
        }
    }
}
void solve(){
    n=strlen(s+1); m=strlen(t+1);
    memset(vs,0,sizeof vs);
    for(int i=1;i<=m;i++)
        work(i,z[i],vs[i]);
    for(int i=1;i<=m;i++){
        for(int j=m;j>=i;j--)
            vs[i][j]+=vs[i][j+1];
        for(int j=i;j<=m;j++){
            // printf("%d %d %d\n",i,j,vs[i][j]);
            vs[i][j]+=vs[i-1][j];
        }
    }
    for(int i=1;i<=m;i++)
        for(int j=i+1;j<=m;j++)
            if(z[i][j]>0) 
                ans+=vs[min(j-1,i+z[i][j])][j-1]-vs[i][j-1];
}
int main(){
    scanf("%s",s+1);
    scanf("%s",t+1);
    solve();
    swap(s,t);
    solve();
    // printf("%lld\n",ans);
    for(int i=1;i<=m;i++) ans+=vs[i][i];
    printf("%lld\n",ans);
    return 0;
}