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