#include<bits/stdc++.h>
using namespace std;

#define IOS ios::sync_with_stdio(false);cin.tie(nullptr);cout.tie(nullptr);
#define ull unsigned long long
#define int long long
const int Base = 233,N = 5001;
class string_hash{
public:
	static ull pow_base[N];
	static void init(int n){
		pow_base[0] = 1;
		for(int i = 1;i <= n;i++)
			pow_base[i] = pow_base[i - 1] * Base;
	}
	vector<ull> hash;
	string s;
	void get_hash(int n){
		hash.resize(n + 1);
		for(int i = 0;i < n;i++){
			hash[i + 1] = hash[i] * Base + s[i];
		}
	}
	ull get_hash_range(int l,int r){
		return hash[r + 1] - hash[l] * pow_base[r - l + 1];
	}
}ss[2];
ull string_hash::pow_base[N] = {0};//静态成员变量要初始化，否则无法使用

//set<ull> shash[N];
//set<ull> thash[N];

map<ull,int> shash[N];
map<ull,int> thash[N];

void test(){
	cin >> ss[0].s >> ss[1].s;
	int n = ss[0].s.size();
	int m = ss[1].s.size();
	ss[0].get_hash(n);
	ss[1].get_hash(m);
	for(int i = 0;i < n;i++){
		for(int j = i;j < n;j++){
			shash[j - i + 1][ss[0].get_hash_range(i,j)]++;
		}
	}
	
	for(int i = 0;i < m;i++){
		for(int j = i;j < m;j++){
			thash[j - i + 1][ss[1].get_hash_range(i,j)]++;
		}
	}

	//s比较大的情况
	int ans = 0;
	for(int r = 0;r < n;r++){
		priority_queue<int> pqu;
		for(int l = 0;l <= r;l++){
			if(thash[r - l + 1].count(ss[0].get_hash_range(l,r))){
				while(!pqu.empty() && -pqu.top() < l - 1) pqu.pop();
				
				//cout << l << ' ' << r << ' ' << ((int)pqu.size() + 1) * thash[r - l + 1][ss[0].get_hash_range(l,r)] << '\n';
				
				ans += ((int)pqu.size() + 1) * thash[r - l + 1][ss[0].get_hash_range(l,r)];
			}
			//begin = l,begin2 = r + 1
			int _l = l,_r = r;
			while(_l <= _r){
				int mid = (_l + _r) / 2;
				if(r + 1 + mid - _l >= n) _r = mid - 1;
				else{
					if(ss[0].get_hash_range(l,mid) == ss[0].get_hash_range(r + 1,r + 1 + mid - l)) _l = mid + 1;
					else _r = mid - 1;
				}
			}
			pqu.push(-_r);
		}
	}

	//t比较大的情况
	for(int r = 0;r < m;r++){
		priority_queue<int> pqu;
		for(int l = 0;l <= r;l++){
			if(shash[r - l + 1].count(ss[1].get_hash_range(l,r))){
				while(!pqu.empty() && -pqu.top() < l - 1) pqu.pop();
				ans += (int)pqu.size() * shash[r - l + 1][ss[1].get_hash_range(l,r)];
				//cout << l << ' ' << r << ' ' << (int)pqu.size() * shash[r - l + 1][ss[1].get_hash_range(l,r)] << '\n';
			}
			//begin = l,begin2 = r + 1
			int _l = l,_r = r;
			while(_l <= _r){
				int mid = (_l + _r) / 2;
				if(r + 1 + mid - _l >= m) _r = mid - 1;
				else{
					if(ss[1].get_hash_range(l,mid) == ss[1].get_hash_range(r + 1,r + 1 + mid - l)) _l = mid + 1;
					else _r = mid - 1;
				}
			}
			pqu.push(-_r);
		}
	}
	cout << ans << '\n';
}

signed main(){
	IOS
	string_hash::init(5000);
	int t = 1;//cin >> t;
	while(t--){
		test();
	}
}