#include <bits/stdc++.h>
const long long A[12] = {0, 4, 10, 20, 35, 56, 83, 116, 155, 198, 244, 292};
long long N;
inline int read() {
  register int x = 0, v = 1;
  register char ch = getchar();
  while (!isdigit(ch)) {
    if (ch == '-') v = -1;
    ch = getchar();
  }
  while (isdigit(ch)) {
    x = x * 10 + ch - '0';
    ch = getchar();
  }
  return x * v;
}
int main() {
  std::cin >> N;
  if (N < 12)
    std::cout << A[N];
  else
    std::cout << 292 + (N - 11) * 49;
  return 0;
}
