#include <stdio.h>
#include <stdint.h>

/// <summary>
/// 入力された数字を返す
/// </summary>
/// <returns></returns>
uint64_t ReadNum() {
	int negate = 0;
	char c = getchar();
	uint64_t num = 0;
	int numCnt = 0;
	while (c != '\n') {
		if (c == '-') {
			negate = 1;
		}
		else {
			num = num * 10 + c - '0';
		}

		c = getchar();
	}
	if (negate == 1) {
		num *= -1;
	}
	return num;
}


int main()
{
	while (1) {
		uint64_t n = ReadNum();
		uint64_t sum = 0;
		/*
		for (uint64_t i = 1;i <= n;i++) {
			if (i % 3 == 0) sum += 1;
			if (i % 5 == 0) sum += 1;
		}
		printf(">>>");
		printf("%llu\n", sum);
		*/
		printf("%llu\n\n",n/2+n/30);
	}

}