#include <stdio.h>

int main(void)
{
  int n;
  long int wa = 0;
  int i;
  
  scanf("%d",&n);
  
  for (i=1; i<=n; i++) {
    if (i % 3 != 0)
      if (i % 5 != 0)
        wa += i;
  }
  
  printf("%lld",wa);
  
  return 0;
}