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