#include <bits/stdc++.h>
using namespace std;
int n, k;
long long ans = 0;
long long mod = 1000000007;
int p[10];
bool used[10];
inline void prep() {
  for (int i = 1; i <= k; i++) used[i] = 0;
}
void dfs(int v) {
  used[v] = 1;
  if (!used[p[v]]) dfs(p[v]);
}
void solve(int x) {
  for (int i = 1; i <= k; i++) {
    p[x] = i;
    if (x != k)
      solve(x + 1);
    else {
      for (int j = 1; j <= k; j++) {
        prep();
        dfs(j);
        if (used[1] == 0) {
          break;
        }
        if (j == k) {
          ans++;
        }
      }
    }
  }
}
int main() {
  scanf("%d %d", &n, &k);
  solve(1);
  for (int i = k + 1; i <= n; i++) {
    ans = (ans * (n - k)) % mod;
  }
  printf("%d", ans);
  return 0;
}
