#include <stdio.h>

int main(void)
{
    long N = 0;
    int i = 0;
    int count = 0;
    scanf("%d", &N);

    for (i = 1; i < N+1; i++){
        if ((i%15) == 0){
            count += 4;
        }else if ((i%3) == 0){
            count += 2;
        }else if ((i%5) == 0){
            count += 2;
        }else{
        }
    }
    printf("%d", count);
}