#include <bits/stdc++.h>
using namespace std;
long long pow2(long long a, long long b) {
  long long ret = 1;
  while (b) {
    if (b & 1) ret *= a;
    ret %= 1000000007;
    a *= a;
    a %= 1000000007;
    b >>= 1;
  }
  return ret;
}
int main() {
  int n, k;
  scanf("%d%d", &n, &k);
  long long ans = pow2(k, k - 1) * pow2(n - k, n - k) % 1000000007;
  printf("%I64d\n", ans);
}
