#include<stdio.h>
#include<stdlib.h>

int main() {
  long int *s;
  int i,n,k;
  scanf("%d%*c",&n);
  s=(long int*)malloc(sizeof(long int)*n);
  
  for(i=0; i<n; i++)
  s[i]=i+1; 
int sum=0;
  for(i=0; i<n; i++)
  	
    if(s[i]%3!=0 && s[i]%5!=0)  sum=sum+i+1; 
  
  
  
  printf("%d",sum);
  return 0;
}