#include<stdio.h>
int main(){
    int i,n,z=0;
    scanf("%d",&n);
    for(i=1;i<=n;i++){
        if(i%3==0)
        z+=2;
        if(i%5==0)
        z+=2;
    }
    printf("%d",z);
    return 0;
}