#include <bits/stdc++.h>
using namespace std;
int INP, AM, REACHEOF;
char BUF[(1 << 12) + 1], *inp = BUF;
const long double PI = acos((long double)-1.0);
const long long MOD = 1000000007LL;
long long f[1011][1011][5];
void add(long long &a, long long b) {
  if (b < 0) return;
  a += b;
  if (a >= MOD) a %= MOD;
}
int main() {
  f[1][0][0] = 1;
  for (int i = (2), _b = (1000); i <= _b; i++) {
    for (int k = (0), _b = (i); k <= _b; k++) {
      for (int x = 0, _a = (5); x < _a; x++) add(f[i][k][0], f[i - 1][k][x]);
      if (k > 1) f[i][k][1] = f[i - 1][k - 2][0];
      if (k > 0) {
        add(f[i][k][2], f[i - 1][k][1]);
        add(f[i][k][2], f[i - 1][k - 1][2]);
        add(f[i][k][2], f[i - 1][k][3]);
        add(f[i][k][2], f[i - 1][k - 1][4]);
      }
      if (k > 0) {
        add(f[i][k][3], f[i - 1][k][1]);
        add(f[i][k][3], f[i - 1][k][2]);
        add(f[i][k][3], f[i - 1][k - 1][3]);
        add(f[i][k][3], f[i - 1][k - 1][4]);
      }
      add(f[i][k][4], f[i - 1][k + 1][0] * (k + 1));
      add(f[i][k][4], f[i - 1][k + 1][1] * (k - 1));
      add(f[i][k][4], f[i - 1][k + 1][2] * k);
      add(f[i][k][4], f[i - 1][k + 1][3] * k);
      add(f[i][k][4], f[i - 1][k + 1][4] * (k + 1));
      add(f[i][k][4], f[i - 1][k][0] * (i - 2 - k));
      add(f[i][k][4], f[i - 1][k][1] * (i - 1 - k));
      add(f[i][k][4], f[i - 1][k][2] * (i - 2 - k));
      add(f[i][k][4], f[i - 1][k][3] * (i - 2 - k));
      add(f[i][k][4], f[i - 1][k][4] * (i - 3 - k));
    }
  }
  int k, n;
  while (cin >> n >> k) {
    long long res = 0;
    for (int t = 0, _a = (5); t < _a; t++) add(res, f[n][k][t]);
    cout << res << endl;
  }
  return 0;
}
