#include <stdio.h>

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

  ans = N / 3 * 2 + N / 5 * 2;

  printf("%d\n", ans);

  return 0;
}