#include <stdio.h>
int main(){
  long long int n,i,s=0;
  scanf("%lld", &n);
  s += 16 * (n / 15);
  n = n % 15;
  for(i = 1; i <= n; i++){
    s += i % 3 ? 0 : 2;
    s += i % 5 ? 0 : 2;
  }
  printf("%lld\n", s);
  return 0;
}