#include <bits/stdc++.h>
const long long mod = 1000000007;
int map[] = {0,    1, 0,     3, 0,       15, 0,        133, 0,
             2025, 0, 37851, 0, 1030367, 0,  36362925, 0};
int main() {
  int n;
  long long ans;
  scanf("%d", &n);
  ans = map[n];
  for (int i = 1; i <= n; i++) {
    ans *= i;
    ans %= mod;
  }
  printf("%I64d\n", ans);
  return 0;
}
