#include <bits/stdc++.h>
using namespace std;
void testCase() {}
long long M = 1e9 + 7;
long long fact[1000000];
long long powers[1000000];
long long dp[1000000];
long long binpow(long long a, long long b, long long m) {
  long long ans = 1;
  while (b > 0) {
    if (b & 1) ans = ans * a % m;
    a = a * a % m;
    b >>= 1;
  }
  return ans;
}
long long nCr(long long n, long long k) {
  long long ans = fact[n];
  ans *= binpow(fact[k], M - 2, M);
  ans %= M;
  ans *= binpow(fact[n - k], M - 2, M);
  ans %= M;
  return ans;
}
void preCalcFact(int n) {
  fact[0] = 1;
  for (int i = 1; i <= n; i++) {
    fact[i] = fact[i - 1] * i;
    fact[i] %= M;
  }
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  int n, k;
  cin >> n >> k;
  preCalcFact(10000);
  long long left = n - k;
  powers[0] = 1;
  for (int i = 1; i <= left; i++) {
    powers[i] = left * powers[i - 1];
    powers[i] %= M;
  }
  dp[0] = 1;
  dp[1] = 1;
  for (int i = 2; i <= k - 1; i++) {
    for (int j = 0; j < i; j++) {
      long long x = nCr(i - 1, j) * (i - j);
      x %= M;
      x *= dp[i - j - 1];
      x %= M;
      x *= dp[j];
      x %= M;
      dp[i] += x;
      dp[i] %= M;
    }
  }
  cout << (((k * dp[k - 1]) % M) * powers[left]) % M << "\n";
}
