#include<stdio.h>

int main(){
  int n;
  char buf[1000000];

  if(fgets(buf,sizeof(buf),stdin)){
    sscanf(buf,"%d",&n);
  }

  int i;
  long int sum;
  for(i=1;i<=n;i++){
    if(i%3!=0 && i%5!=0){
      sum += i;
    }
  }

  printf("%ld",sum);
  return 0;
}
