#include <bits/stdc++.h>

int main() {

  long N;
  std::cin >> N;

  std::cout << 2 * (N / 3 + N / 5) << std::endl; 

  return 0;
}