#include<stdio.h>
int main(void)
{
	int N,a3,a5,A;
	
	scanf("%d",&N);
	
	
	A=(N/3+N/5)*2;
	printf("%d\n",A);
	
	
	return 0;
}