#include<stdio.h>

int main(void){
	unsigned long long int n;
	scanf("%llu",&n);
	printf("%llu\n",(n/3+n/5)*2);
	return 0;
}