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