#include <stdio.h>

int main(void)
{
  unsigned long long int x;

  scanf("%llu", &x);
  printf("%llu\n", (x/5 + x/3)*2);
  return 0;
}