#include <stdio.h>

int main(void)
{
	long int n;
	long int sum = 0;
	
	scanf("%ld", &n);
	
	sum += 2 * ((n / 3) + (n / 5));
	
	printf("%ld\n", sum);
	
	return 0;
}