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