#include <bits/stdc++.h>
int main() {
  long long n, res;
  long long a[13] = {0, 4, 10, 20, 35, 56, 83, 116, 155, 198, 244, 292, 341};
  scanf("%I64d", &n);
  if (n < 13)
    res = a[n];
  else
    res = 341 + 49 * (n - 12);
  printf("%I64d", res);
  return 0;
}
