#include <bits/stdc++.h>
using namespace std;
long long int mod = 1000000007;
long long int power(long long int x, long long int y, long long int p) {
  long long int res = 1;
  x = x % p;
  while (y > 0) {
    if (y & 1) res = (res * x) % p;
    y = y >> 1;
    x = (x * x) % p;
  }
  return res;
}
long long int check(long long int n, long long int m) {
  long long int ans = 0;
  for (long long int i = 1; i <= m; i++) {
    ans += n % i;
  }
  return ans;
}
signed main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  long long int n, m;
  cin >> n >> m;
  long long int ans = 0;
  long long int i2 = power(2, mod - 2, mod);
  if (m > n) {
    ans += ((m - n) % mod) * (n % mod);
    ans %= mod;
    m = n;
  }
  long long int lim = 0;
  bool job = false;
  for (long long int i = 1; i * i <= n; i++) {
    lim = i;
    if (i == m) {
      ans += n % i;
      cout << ans;
      return 0;
      job = true;
      long long int w = check(n, m);
      if (ans != w) {
        cout << n << " " << m << endl;
        break;
      }
    }
    ans += n % i;
    ans %= mod;
  }
  for (long long int i = 1; i * i < n; i++) {
    long long int x = n / i;
    long long int y = n / (i + 1);
    y = max(lim, y);
    if (m < y + 1) {
      continue;
    }
    long long int w = n % i;
    long long int t = x - y;
    if (t <= 0) {
      continue;
    }
    long long int kk =
        ((t % mod) *
         ((2 * w) % mod + ((t % mod) * (i % mod)) % mod - i % mod + mod)) %
        mod;
    if (x > m) {
      long long int t2 = x - m;
      long long int kk2 =
          ((t2 % mod) *
           ((2 * w) % mod + ((t2 % mod) * (i % mod)) % mod - i % mod + mod)) %
          mod;
      kk -= kk2;
      kk += mod;
      kk %= mod;
    }
    kk *= i2;
    kk %= mod;
    ans += kk;
    ans %= mod;
  }
  cout << ans;
}
