#include <bits/stdc++.h>
using namespace std;
int t[17] = {0, 1, 0, 1, 0, 3, 0, 19, 0, 225, 0, 3441, 0, 79259, 0, 2424195, 0};
int main() {
  long long n, a, mod = 1000000007;
  scanf("%I64d", &n);
  a = t[n] * n;
  a %= mod;
  while (n) {
    a *= n;
    a %= mod;
    n--;
  }
  printf("%I64d\n", a);
  getchar();
  getchar();
  return 0;
}
