#include <bits/stdc++.h>
using std::cin;
using std::cout;
using std::endl;
long long readIn() {
  long long a = 0;
  bool positive = true;
  char ch = getchar();
  while (!(ch == '-' || std::isdigit(ch))) ch = getchar();
  if (ch == '-') {
    positive = false;
    ch = getchar();
  }
  while (std::isdigit(ch)) {
    a = a * 10 - (ch - '0');
    ch = getchar();
  }
  return positive ? -a : a;
}
void printOut(long long x) {
  char buffer[20];
  int length = 0;
  if (x < 0)
    putchar('-');
  else
    x = -x;
  do buffer[length++] = -(x % 10) + '0';
  while (x /= 10);
  do putchar(buffer[--length]);
  while (length);
}
int n;
void run() {
  n = readIn();
  long long ans = 0;
  for (int i = 0; i <= 8 && i <= n; i++)
    for (int j = 0; j <= (i ? 4 : 8) && i + j <= n; j++) ans += n + 1 - i - j;
  printOut(ans);
}
int main() {
  run();
  return 0;
}
