#include <stdio.h>
int main() {
  unsigned long long N;
  scanf("%llu",&N);
  unsigned long long len=(N/3+N/5)*2;
  printf("%llu\n",len);
  return 0;
}