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