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