#include<stdio.h>
int main()
{
	long long int n;
	scanf("%lld", &n);
	printf("%lld\n", n / 3 * 2 + n / 5 * 2);
	return 0;
}