#include <bits/stdc++.h>
using namespace std;
vector<int64_t> ps = {0, 4, 10, 20, 35, 56, 83, 116, 155, 198, 244};
int main() {
  int64_t n;
  scanf("%I64d", &n);
  if (n < 11) {
    printf("%I64d", ps[n]);
  } else {
    printf("%I64d", 292ll + 49ll * (n - 11));
  }
  return 0;
}
