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