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

int main(void)
{
	uint64_t num;
	scanf("%ld", &num);

	uint_fast64_t count = 0;
	count = ((num / 3 + num / 5)*2);
	printf("%ld\n", count);

	return 0;
}