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