#include <bits/stdc++.h>
using namespace std;
int main() {
  long long a, b;
  cin >> a >> b;
  long long ans = ((a % 1000000007) * (b % 1000000007)) % 1000000007;
  long long l;
  for (long long i = 1; i * i <= a; i++) {
    l = a / (i + 1) + 1;
    long long r = a / i;
    r = min(r, b);
    if (l > b) continue;
    ans -= (((((((((r % 1000000007) * ((r + 1) % 1000000007)) % 1000000007) *
                 500000004) %
                    1000000007 -
                ((((l % 1000000007) * ((l - 1) % 1000000007)) % 1000000007) *
                 500000004) %
                    1000000007) %
               1000000007) *
              i) %
                 1000000007 +
             1000000007) %
            1000000007);
    ans = ans % 1000000007;
    ans += 1000000007;
    ans = ans % 1000000007;
  }
  for (long long i = 1; i * i <= a && i < l && i <= b; i++) {
    ans -= ((a / i) * i) % 1000000007;
    ans = ans % 1000000007;
    ans += 1000000007;
    ans = ans % 1000000007;
  }
  cout << ans << endl;
}
