#include <stdio.h>
int main(){
  long long int n,i,s=0;
  scanf("%lld", &n);
  for(i = 1; i < n; i++){
    s += i % 3 ? 2 : 0;
    s += i % 5 ? 2 : 0;
  }
  printf("%lld\n", s);
  return 0;
}