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