#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
const long nPrime = 1000000007;
//const long nPrime = 998244353;
typedef long long ll;
int main() {
    long a,b;
    cin >> a >> b;
    const long nInv2 = (nPrime+1)/2;
    long nAns = ((2*a+1)%nPrime)*((2*b+1)%nPrime);
    nAns %= nPrime;
    if(((a^b)&1)==0){
        nAns++;
    } else {
        nAns--;
    }
    nAns *= nInv2;
    nAns %= nPrime;
    cout << nAns << endl;
    return 0;
}