#include<stdio.h>
 
int main(void){
  int n,i;
  long long total=0;
  
  do{
    scanf("%d",&n);
  }while(n<1 || n>1000000);
  
  for(i=1; i<=n; i++){
    if(i%3 != 0){
      if(i%5 != 0){
        total += i;
      }
    }
  }
  
  printf("%lld",total);
  
  return 0;
}