#include <bits/stdc++.h>
const long long int mod = 1e9 + 7;
long long int n, m;
using namespace std;
long long int f(long long int k) {
  if (k % 2) {
    long long int a = ((k + 1) / 2) % mod;
    long long int b = k % mod;
    a *= b;
    a %= mod;
    return a;
  } else {
    long long int a = (k / 2) % mod;
    long long int b = (k + 1) % mod;
    a *= b;
    a %= mod;
    return a;
  }
}
long long int calc(long long int k) {
  long long int lf = n / (k + 1) + 1;
  long long int rg = n / k;
  rg = min(m, rg);
  if (lf > rg) return 0;
  long long int sum = f(rg) - f(lf - 1) + mod;
  sum %= mod;
  sum *= (k % mod);
  sum %= mod;
  return sum;
}
int32_t main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  long long int t = 1;
  while (t--) {
    cin >> n >> m;
    long long int ans = ((n % mod) * (m % mod)) % mod;
    ans %= mod;
    long long int i = 1;
    for (; i * i <= n; i++) {
      ans -= calc(i);
      if (i != n / i) ans -= calc(n / i);
      while (ans < 0) ans += mod;
    }
    ans %= mod;
    cout << ans % mod << endl;
  }
  return 0;
}
