#include <bits/stdc++.h>
using namespace std;
inline long long getnum() {
  char c = getchar();
  long long num, sign = 1;
  for (; c < '0' || c > '9'; c = getchar())
    if (c == '-') sign = -1;
  for (num = 0; c >= '0' && c <= '9';) {
    c -= '0';
    num = num * 10 + c;
    c = getchar();
  }
  return num * sign;
}
int A[1000000];
int main() {
  long long x = getnum();
  if (x <= 20) {
    for (int i = 0; i <= 100000; i++) A[i] = 0;
    int ans = 0, tot = 0;
    for (int i = 0; i <= x; i++)
      for (int j = 0; j <= x; j++)
        for (int k = 0; k <= x; k++)
          for (int l = 0; l <= x; l++)
            if (i + j + k + l == x) {
              tot++;
              int y = i + j * 5 + k * 10 + l * 50;
              if (!A[y]) ans++;
              A[y]++;
            }
    printf("%d", ans);
  } else {
    printf("%lld", x * 50 - 247 - x);
  }
}
