#include <bits/stdc++.h>
using namespace std;
template <class T>
inline T MAX(T a, T b) {
  if (a > b) return a;
  return b;
}
template <class T>
inline T MIN(T a, T b) {
  if (a < b) return a;
  return b;
}
template <class T>
inline T ABS(T x) {
  if (x < 0) return -x;
  return x;
}
inline void OPEN(const string &s) {
  freopen((s + ".in").c_str(), "r", stdin);
  freopen((s + ".out").c_str(), "w", stdout);
}
const static int inf = 1000000000;
int n, k;
int main() {
  long long res = 1;
  scanf("%d%d", &n, &k);
  for (int(i) = (0); (i) < (k - 1); ++(i)) res = (res * k) % 1000000007;
  for (int(i) = (0); (i) < (n - k); ++(i)) res = (res * (n - k)) % 1000000007;
  printf("%I64d\n", res);
}
