#include <bits/stdc++.h>
using namespace std;
int n, m, s, t;
long long h[20] = {3, 15, 133, 2025, 37851, 1030367, 36362925};
long long res[20];
int main(int argc, const char* argv[]) {
  res[0] = 0;
  res[1] = 1;
  res[2] = 0;
  for (int i = 3; i <= 16; i++) {
    if (i % 2 == 0)
      res[i] = 0;
    else {
      res[i] = h[i / 2 - 1];
      for (int j = 1; j <= i; j++) {
        res[i] *= j;
        res[i] %= 1000000007;
      }
    }
  }
  while (cin >> n) {
    cout << res[n] << endl;
  }
  return 0;
}
