#include <bits/stdc++.h>

int main()
{
	std::cin.tie(nullptr);
	std::ios::sync_with_stdio(false);

	uint_fast64_t N;
	std::cin >> N;

	std::cout << (N / 3 + N / 5) * 2 << '\n';
	return 0;
}