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