#include<iostream>
int main()
{
	unsigned long long int i;
	std::cin >> i;
	std::cout << (i / 3 + i / 5) * 2 << std::endl;
	return 0;
}