#include"bits/stdc++.h"
using namespace std;
int flag[10000100];
int main(){
	int n;
	cin>>n;
	for(int i=1;i<333336;i++){
		flag[3*i]=1;
		flag[5*i]=1;
	}
	long long ans=0;
	for(int i=0;i<=n;i++){
		if(!flag[i])ans+=i;
	}
	cout<<ans<<endl;
} 