#include <stdio.h>

void main(void){
	long long int n = 0 ;
    scanf("%lld",&n);
    printf("%lld",(n/5 + n/3)* 2);
}