#include<stdio.h>
int main(void){
	int n, z, fizz, buzz;
	scanf("%d", &n);
	fizz = n / 3;
	buzz = n / 5;
	z = (fizz + buzz) * 2;
	printf("%d", z);
	return 0;
}