#include<bits/stdc++.h>

using namespace std;

using ll = long long;
vector<int> z_function(string &s) {
  int n = (int)s.length();
  vector<int> z(n);
  for (int i = 1, l = 0, r = 0; i < n; ++i) {
    if (i <= r && z[i - l] < r - i + 1) {
      z[i] = z[i - l];
    } else {
      z[i] = max(0, r - i + 1);
      while (i + z[i] < n && s[z[i]] == s[i + z[i]]) ++z[i];
    }
    if (i + z[i] - 1 > r) l = i, r = i + z[i] - 1;
  }
  return z;
}
const int maxn = 5010;
int fs[maxn][maxn];
int ft[maxn][maxn];
int f[maxn][maxn];
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    string s,t;
    cin >> s >> t;
    int n = int(s.size());
    int m = int(t.size());
    for(int i = 0;i < n;i ++) {
        string tmp = s.substr(i);
        auto z = z_function(tmp);
        for(int j = 1;j < z.size();j ++) {
            int k = j + i;
            fs[i + 1][k - 1] ++;
            fs[min(i + z[j] + 1,k)][k - 1] --;
        }
    }
    for(int i = 0;i < m;i ++) {
        string tmp = t.substr(i);
        auto z = z_function(tmp);
        for(int j = 1;j < z.size();j ++) {
            int k = j + i;
            ft[i + 1][k - 1] ++;
            ft[min(i + z[j] + 1,k)][k - 1] --;
        }
    }
    for(int j = 0;j < n;j ++) {
        for(int i = 0;i < n - 1;i ++) {
            fs[i + 1][j] += fs[i][j];
        }
    }
    for(int j = 0;j < m;j ++) {
        for(int i = 0;i < m - 1;i ++) {
            ft[i + 1][j] += ft[i][j];
        }
    }
    for(int i = 0;i < n;i ++) {
        for(int j = 0;j < n;j ++) {
            if(i != 0) fs[i][j] += fs[i - 1][j];
        }
    }
    for(int i = 0;i < m;i ++) {
        for(int j = 0;j < m;j ++) {
            if(i != 0) ft[i][j] += ft[i - 1][j];
        }
    }
    auto sums = [&](int l,int r) {
        l --;r --;
        return fs[r][r] - (l != 0 ? fs[l - 1][r] : 0);
    };
    auto sumt = [&](int l,int r) {
        l --;r --;
        return ft[r][r] - (l != 0 ? ft[l - 1][r] : 0);
    };
    ll ans = 0;
    for(int i = 1;i <= n;i ++) {
        for(int j = 1;j <= m;j ++) {
            if(s[i - 1] == t[j - 1]) {
                f[i][j] = f[i - 1][j - 1] + 1;// 1-i和1-j的最长后缀
            }   
            ans += 0ll + sums(i - f[i][j] + 1,i) + sumt(j - f[i][j] + 1,j) + f[i][j];
        }
    }
    cout << ans << endl;
}