#include <bits/stdc++.h>
#define ll long long
#define ull unsigned ll
#pragma GCC optimize(3)

using namespace std;

const int maxn = 10004;
const int p1 = 20000037;
const int p2 = 20000091;
const int b1 = 37;

int n, m;
int s[maxn], t[maxn];
ull ps1[maxn], pt1[maxn];
int mp1[20000055], mp2[20000092];
ull pwb1[maxn];
ll ans;

int f[maxn], cnt[maxn];
//babaa
void wok(int dlt)
{
    for(int i = 2, l = 2 + dlt - n + 1, r = dlt; i < n; i ++, l ++)
    {
        int j = f[i - 1];
        while(j > 0 && ((i + dlt > n && (i + dlt - j <= n || j + dlt >= n)) || s[j + 1 + dlt] != s[i + dlt]))
            j = f[j];
        if(s[j + 1 + dlt] == s[i + dlt])
            j ++;
        f[i] = j;
        cnt[i] = 0;
        if(j != 0) cnt[i] ++;
        cnt[i] += cnt[j];
        if(cnt[i] && l > 1 && r - l + 1 <= m) 
        {
            //cout<<l<<' '<<r<<' '<<cnt[i]<<' '<<i<<' '<<f[i]<<' '<<s[i + dlt]<<' '<<s[1 + dlt]<<' ';
            // for(int j = l; j <= r; j ++)
            //     putchar(s[j] + 'a' - 1);
            // cout<<endl;
            ull val = ps1[r] - ps1[l - 1] * pwb1[r - l + 1];
            ans += cnt[i] * min(mp1[val % p1], mp2[val % p2]);
            //cout<<ps1[r] - ps1[l - 1] * pwb1[r - l + 1]<<endl;
        }
    }
}

void work(int w)
{
    for(int i = 1; i <= m; i ++)
    {
        for(int j = 1; j <= i; j ++)
        {
            if(i - j + 1 <= n)
            {
                ull val = pt1[i] - pt1[j - 1] * pwb1[(i - j + 1)];
                mp1[val % p1] ++;
                mp2[val % p2] ++;
            }
        }
    }
    for(int i = 1; i <= n; i ++)
        s[i + n] = s[i]; 
    for(int i = 1; i < n; i ++)
    {
        wok(i);
    }
    if(w)
    {
        for(int i = 1; i <= m; i ++)
        {
            for(int j = 1; j <= i; j ++)
            {
                if(i - j + 1 <= n)
                {
                    ull val = pt1[i] - pt1[j - 1] * pwb1[(i - j + 1)];
                    mp1[val % p1] --;
                    mp2[val % p2] --;
                }
            }
        }
    }
}

signed main()
{
    char c = getchar();
    while('a' <= c && c <= 'z')
        s[++ n] = c - 'a' + 1, c = getchar();
    while(!('a' <= c && c <= 'z'))
        c = getchar();
    while('a' <= c && c <= 'z')
        t[++ m] = c - 'a' + 1, c = getchar();
    for(int i = 1; i <= n; i ++)
    {
        ps1[i] = ps1[i - 1] * b1 + s[i];
    }
    for(int i = 1; i <= m; i ++)
    {
        pt1[i] = pt1[i - 1] * b1 + t[i];
    }
    pwb1[0] = 1;
    for(int i = 1; i <= max(n, m); i ++)
    {
        pwb1[i] = 1ll * pwb1[i - 1] * b1;
    }
    swap(n, m);
    for(int i = 1; i <= max(n, m); i ++)
    {
        swap(s[i], t[i]);
        swap(ps1[i], pt1[i]);
    }
    work(1);
    //cout<<"-----"<<endl;
    swap(n, m);
    for(int i = 1; i <= max(n, m); i ++)
    {
        swap(s[i], t[i]);
        swap(ps1[i], pt1[i]);
    }
    work(0);
    for(int i = 1; i <= n; i ++)
    {
        for(int j = 1; j <= i; j ++)
        {
            if(i - j + 1 <= m)
            {
                ull hsh1 = ps1[i] - ps1[j - 1] * pwb1[(i - j + 1)];
                ans += min(mp1[hsh1 % p1], mp2[hsh1 % p2]);
            }
        }
    }
    cout<<ans<<endl;
}