#include<stdio.h>

int main(void) {
	long long int N;
	scanf("%lld", &N);
	printf("%lld", (N / 15 * 16) + (N % 15 / 3 * 2) + (N % 15 / 5 * 2));
}