// yukicoder: No.311 z in FizzBuzzString
// 2019.5.4 bal4u

#include <stdio.h>

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