#include<stdio.h>
typedef unsigned long long int llu;
int main(void){
  llu a;
  llu x=(llu)0;
  scanf("%llu",&a);
  for(llu i=(llu)1;i<a;i++){
    x=x+i;
    if(i%(llu)3==0){
      x=x-i;
    }
    else if(i%(llu)5==0){
      x=x-i;
    }else{
      x=x;
    }
  }
      printf("%llu\n",x);
  
  return 0;
}