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