#include <stdio.h>
int main(void) {
	long long N;
	scanf("%lld", &N);
	printf("%lld\n", ((N / 3) + (N / 5)) * 2);
}