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