#include<bits/stdc++.h>
#include<bits/extc++.h>
using namespace __gnu_pbds;
using namespace std;
using ll=long long;
const int N=5e3;
const int mod=2147483647,v=19260817;
int n,m;
char s[N+5],t[N+5];
gp_hash_table<int,int> mp[N+5];
int vals[N+5][N+5];
ll ans;
void work(int l){
    static int z[N+5];
    memset(z,0,sizeof z);
    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;
        }
        if(z[i]>0)
            ans+=vals[i-1][min(i-1,l+z[i])]-vals[i-1][l];
    }
}
void solve(){
    n=strlen(s+1); m=strlen(t+1);
    for(int i=1;i<=max(n,m);i++) mp[i].clear();
    for(int i=1;i<=n;i++){
        int val=0;
        for(int j=i;j<=n;j++){
            val=(1ll*v*val+s[j]-'a'+1)%mod;
            mp[j-i+1][val]++;
        }
    }
    for(int i=1;i<=m;i++){
        int val=0;
        for(int j=i;j<=m;j++){
            val=(1ll*v*val+t[j]-'a'+1)%mod;
            vals[j][i]=mp[j-i+1][val];
        }
    }
    for(int j=1;j<=m;j++)
        for(int i=1;i<=j;i++)
            vals[j][i]+=vals[j][i-1];
    for(int i=1;i<=m;i++)
        work(i);
}
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+=vals[i][i];
    printf("%lld\n",ans);
    return 0;
}