#include <bits/stdc++.h>
int n, d[4001];
int main() {
  for (int i = 0; i < 4001; i++) d[i] = 0;
  d[0] = 1;
  for (int i = 0; i < 4; i++)
    for (int j = 4000; j >= 0; j--)
      for (int k = 0; j + k < 4001; k++) d[j + k] += d[j];
  while (scanf("%d", &n) != EOF) printf("%d\n", d[n]);
}
