#include "bits/stdc++.h"

//#include <atcoder/all>

using namespace std;
//using namespace atcoder;

//#define int long long
#define ll long long

ll INF = (1LL << 60);
int mod = 1000000007;

using P = pair<int, int>;

signed main() {
	int n; cin >> n;
	int ans = 0;
	for (int i = 0; i < 500; i++) {
		for (int j = 0; j <= i; j++) {
			for (int k = 0; k < 500; k++) {
				if (i * 5 + j * 2 + k * 3 == n) {
					ans++;
				}
			}
		}
	}
	cout << ans << endl;
	return 0;
}