#include <bits/stdc++.h>
using namespace std;
long long n, k, ans;
int main() {
  cin >> n >> k;
  ans = 1;
  for (int i = 1; i < k; i++) ans = (ans * k) % (int)(1e9 + 7);
  for (int i = 1; i <= n - k; i++) ans = (ans * (n - k)) % (int)(1e9 + 7);
  cout << ans;
  return 0;
}
