#include <bits/stdc++.h>
using namespace std;
inline void SetIO(string Name) {
  string Input = Name + ".in", Output = Name + ".out";
  freopen(Input.c_str(), "r", stdin), freopen(Output.c_str(), "w", stdout);
}
const int N = 1010, Mod = 1000000007;
int n, m;
long long C[N][N], Dp[N][N][4], Ans[N];
inline void Input() { scanf("%d%d", &n, &m); }
inline void Plus(long long &A, long long B) { A = (A + B) % Mod; }
inline void Mul(long long &A, int B) { A = (A * B) % Mod; }
inline void Solve() {
  for (int i = (0); i <= (n); i++) C[i][0] = 1;
  for (int i = (1); i <= (n); i++)
    for (int j = (1); j <= (i); j++)
      Plus(C[i][j], C[i - 1][j - 1] + C[i - 1][j]);
  Dp[0][0][2] = 1;
  for (int i = (1); i <= (n); i++)
    for (int j = 0; j < (i); j++)
      for (int S = 0; S < (4); S++) {
        if (S & 1) Plus(Dp[i][j + 1][(S >> 1) + 2], Dp[i - 1][j][S]);
        if (i < n) Plus(Dp[i][j + 1][S >> 1], Dp[i - 1][j][S]);
        Plus(Dp[i][j][(S >> 1) + 2], Dp[i - 1][j][S]);
      }
  for (int i = (0); i <= (n); i++) {
    for (int S = 0; S < (4); S++) Plus(Ans[i], Dp[n][i][S]);
    for (int j = (1); j <= (n - i); j++) Mul(Ans[i], j);
  }
  for (int i = (n)-1; i >= (0); i--)
    for (int j = (i + 1); j <= (n); j++)
      Plus(Ans[i], Mod - C[j][i] * Ans[j] % Mod);
  cout << Ans[m] << endl;
}
int main() {
  Input();
  Solve();
  return 0;
}
