#include <bits/stdc++.h>
using namespace std;
using ll = int64_t;
using Vll =vector<ll>;
using VVll =vector<vector<ll>>;
template <class T>
using Vec = vector<T>;
template <class T>
using VVec = vector<vector<T>>;

void Z(){ cout<<"Test"<<endl; }








int main(){
    ll n,k;
    cin>>n>>k;
    cout<<100*k*(n+1)*n/2+n*k*(k+1)/2<<endl;
}

#include <bits/stdc++.h>

using namespace std;

/*
	Problem B: AtCoder Condominium
*/ 
typedef long long ll;

void solve(){
	int n; int k;
	scanf("%d%d", &n, &k);
	ll answer = 0;
	for(int i = 1; i <= n; ++i){
		for(int j = 1; j <= k; ++j){
			answer += (100*i+j);
		}
	}
	printf("%lld\n", answer);
}

int main(){
	solve();
}

