#include <bits/stdc++.h>
using namespace std;
ifstream fin("input.txt");
ofstream fout("output.txt");
using namespace std;
int a, b;
long long c(int x, int y) {
  long long d = 1;
  for (int i = 0; i < y; i++) {
    d *= x;
    d %= 1000000007;
  }
  return d;
}
int main() {
  cin >> b >> a;
  cout << c(a, a - 1) * c(b - a, b - a) % 1000000007;
}
