#include<stdio.h>
#define BUFSIZE 10000
#include<stdlib.h>
int max;
int rem=0;
int rem2=0;
int rem3=0;
int Fizz(){
	for(int i=0;i<BUFSIZE;i++){
		if(3*i>max){
			break;
		}
		rem=rem+3*i;
	}
}
int Buzz(){
	for(int i=0;i<BUFSIZE;i++){
		if(5*i>max){
			break;
		}
		rem2=rem2+5*i;
	}
}
int FizzBuzz(){
	for(int i=0;i<BUFSIZE;i++){
		if(15*i>max){
			break;
		}
		rem3=rem3+15*i;
	}
	
}	
int main(void){
	scanf("%d",&max);
		Fizz();
		Buzz();
		FizzBuzz();
	printf("%d",(1+max)*max/2-(rem+rem2-rem3));
}