#include <stdio.h>

int main(void)
{
  int i, ans = 0;
  long int N;
  scanf("%ld", &N);

  for (i = 1; i <= N; i++) {
    if (i % 15 == 0) ans += 4;
    else if(i % 5 == 0 || i % 3 == 0) ans += 2;
  }
  printf("%d\n", ans);

  return 0;
}