#include <iostream>

using namespace std;

int main()
{
	unsigned long long input, ans = 0;

	scanf("%d", &input);

	ans += (input / 3) * 2;
	ans += (input / 5) * 2;

	cout << ans << endl;

	return 0;
}