#include<stdio.h>

int main()
{
	int N,i=1,a=0;
	
	scanf("%d",&N);
	
	while(i<=N){
		
		
		if(i%3==0){
			
			a+=2;
			
		}
		if(i%5==0){
			
			a+=2;
		}
		
		i++;
	}
	printf("%d",a);
	return 0;
}