#include <stdio.h>
int main(void){
  int n;
  scanf("%d",&n);
  int local=0;
  int i;
  for(i = 0; i <= n; i++){
      if(i%3!=0 && i%5!=0){
        local += i;
      }
    }  
  printf("%11d",local);
  return 0;
}
