#include<stdio.h>
int main(){
	int n,r,i;
	scanf("%d",&n);
	r=n/15*16;
	n%=15;
	for(i=1;i<=n;i++){
		if(i%3==0)r+=2;
		if(i%5==0)r+=2;
	}
	printf("%d",r);
	return 0;
}