#include <stdio.h>

int main() {
	long long int n, z;

	scanf("%lld", &n);
	z = ((n / 3) + (n / 5)) * 2;
	printf("%lld\n", z);

	return 0;
}