#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
#include <atcoder/dsu>
#include <atcoder/segtree>
using namespace atcoder;
using namespace std;
typedef long long ll;
#define rep(i,a,b) for(int i=a;i<b;i++)
using vi = vector<int>; 
using vvi = vector<vi>; 
using li =vector<ll>;
using lli=vector<li>;
using si =vector<char>;
using ssi =vector<si>;
const long long INF = 1e18;
const long long MOD=1e9+7;
//for (auto [key, val] : mp)
int main() { ll a,b;cin>>a>>b;
ll AE,AO,BE,BO;
AE=1+a/2*2;AO=(a+1)/2*2;
BE=1+b/2*2;BO=(b+1)/2*2;
cout<<(AE*BE+AO*BO)%MOD;
}