#include <stdio.h>

int main(void)
{
    int n, i = 0, cnt = 0;

    scanf("%d", &n);

    while (i < n) {
	if (i % 15 == 0)
	    cnt += 4;
        else if (i % 5 == 0)
            cnt += 2;
        else if (i % 3 == 0)
            cnt += 2;
        i++;
    }

    printf("%d\n", cnt);

    return 0;
}