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