#include <stdio.h>
typedef long long int lld;
 
int main(void) {
  lld n, b, s = 0;
  scanf("%lld", &n);
  b = n % 15;
  s = (n / 15) * (n / 15) * 60;
  for (int i = n - b; i <= n; i++) {
    if (i % 3 * i % 5 != 0) {
      s += i;
    }
  }
  printf("%lld\n", s);
}