#include <stdio.h>
#include <stdint.h>

int main(void)
{
  int N, i;
  int64_t sum = 0;
  scanf("%d", &N);
  
  for(i=1; i<=N; i++)
    if(i%3!=0 && i%5!=0)
      sum += i;
  
  printf("%ld", sum);
  
  return 0;
}