#include <stdio.h>

int main(void){
   int n,i,w3,w5;
   long int total=0;
   scanf("%d",&n);

   for(i=1;i<n;i++){
      w3=0; w5=0;
      if(i%3==0) w3=1;
      if(i%5==0) w5=1;

      if(w3+w5==0) total+=i;
   }

   printf("%ld\n",total);
   return 0;
}