#include <bits/stdc++.h>
long long mod = 1000000007;
using namespace std;
int main() {
  long long n, m;
  scanf("%lld%lld", &n, &m);
  long long up = min(n, m);
  long long sum = 0, a, b, r;
  long long ans = ((n % mod) * (m % mod)) % mod;
  for (long long i = 1; i <= up; i++) {
    r = min((n / (n / i)), up);
    a = i + r;
    b = r - i + 1;
    if (a & 1)
      b = b / 2;
    else
      a = a / 2;
    sum = (sum % mod + (((a % mod) * (b % mod)) % mod * (n / i) % mod) % mod) %
          mod;
    i = r;
  }
  printf("%lld", (ans - sum + mod) % mod);
  return 0;
}
