#include <stdio.h>

int main() {
  long long n;
  scanf("%lld", &n);
  printf("%lld\n", (n/3+n/5)*2);
  return 0;
}