#include <stdio.h>



int main(void)
{
	long long int n;

	scanf("%lld",&n);

	printf("%lld",(n/5+n/3)*2);

	return 0;
}