#include <bits/stdc++.h>
using namespace std;
inline int read();
inline int max(int a, int b) { return a > b ? a : b; }
inline int min(int a, int b) { return a < b ? a : b; }
inline void swap(int &a, int &b) {
  int temp = a;
  a = b;
  b = temp;
}
long long n;
long long ans;
int main() {
  cin >> n;
  switch (n) {
    case 1:
      ans = 4;
      break;
    case 2:
      ans = 10;
      break;
    case 3:
      ans = 20;
      break;
    case 4:
      ans = 35;
      break;
    case 5:
      ans = 56;
      break;
    case 6:
      ans = 83;
      break;
    case 7:
      ans = 116;
      break;
    case 8:
      ans = 155;
      break;
    case 9:
      ans = 198;
      break;
    case 10:
      ans = 244;
      break;
    case 11:
      ans = 292;
      break;
    case 12:
      ans = 341;
      break;
    case 13:
      ans = 390;
      break;
    case 14:
      ans = 439;
      break;
  }
  if (ans) {
    cout << ans << endl;
  } else {
    cout << 439 + (n - 14) * 49 << endl;
  }
  return 0;
}
inline int read() {
  int s = 0, w = 1;
  char ch = getchar();
  while (ch <= '0' || ch > '9') {
    if (ch == '-') w = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') s = s * 10 + ch - '0', ch = getchar();
  return s * w;
}
