#include <stdio.h>
typedef long long int lld;

int main(void) {
  lld n, s = 0;
  scanf("%lld", &n);
  for (int i = 0; i <= n; i++) {
    if (i % 3 * i % 5 != 0) {
      s += i;
    }
  }
  printf("%lld\n", s);
}