#include<stdio.h>
int main(void){
  int n,i,sum=0;
  int data[];
  
  scanf("%d",&n);
  
  for(i=0;i<n;i++){
    if(i%3==0 && i%5==0)
  	  data[i]=0;
    else if(i%3=0)
      data[i]=0;
    else if(i%5=0)
      data[i]=0;
    else
      data[i]=i;
  }
  
  for(i=0,i<n;i++){
    sum += data[i];
  }
 printf("%d",sum)
}