#include <bits/stdc++.h>
using namespace std;
int main() {
  cin.tie(0);
  ios_base::sync_with_stdio(false);
  int n, k;
  cin >> n >> k;
  long long l = 1;
  for (int i = 1; i <= n - k; i++) {
    l *= (n - k);
    l = l % 1000000007;
  }
  for (int i = 1; i <= k - 1; i++) {
    l *= k;
    l = l % 1000000007;
  }
  cout << l << endl;
}
