// WA
#include <atcoder/modint>
#include <iostream>
using namespace std;

using mint = atcoder::modint1000000007;

int main() {
    long long A, B;
    cin >> A >> B;
    A = mint(A).val(), B = mint(B).val();
    cout << (mint(A / 2 * 2 + 1) * mint(B / 2 * 2 + 1) + mint((A + 1) / 2 * 2) * mint((B + 1) / 2 * 2)).val() << '\n';
}