long n;main(){scanf("%d",&n);printf("%d\n",8*n/15*2);return 0;}