#include <stdio.h>
int main (void){
long long int a, b;
  scanf("%11d",&a);
  b = (a/3+a/5)*2;
  printf("%11d",b);

  return 0;
}