#include <stdio.h>

int main(){
	unsigned long N = 0;
	unsigned long i;
	unsigned long cnt = 0;
	
	scanf("%d", &N);
	cnt = (N / 5 + N / 3) * 2;
	
	printf("%d", cnt);
	return 0;
}