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