#include <bits/stdc++.h>
using std::sort;
int ans[17] = {0, 1,    0, 3,     0, 15,      0, 133,
               0, 2025, 0, 37851, 0, 1030367, 0, 36362925};
int main() {
  int n, i, t;
  while (~scanf("%d", &n)) {
    if (n % 2 == 0)
      puts("0");
    else {
      t = ans[n];
      for (i = 2; i <= n; i++) t = (1LL * t * i) % 1000000007;
      printf("%d\n", t);
    }
  }
}
