#include <stdio.h>



int main(void)
{
	long long int i,n,z=0;

	scanf("%lld",&n);

	for(i=1;i<=n;i++){
		if(i%3==0 && i%5==0)	z=z+4;
		else if (i%3==0)	z=z+2;
		else if (i%5==0)	z=z+2;
	}
	printf("%d",z);
	return 0;
}