#include <stdio.h>

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