#include"stdio.h" int main() { int n; while(scanf("%d",&n),n) { if(n<=4) printf("10\n"); else if(n<=8) printf("%d\n",10+2*(n-4)); else { int num=n/8; int mod=n%8; if(mod==0) printf("%d\n",num*18); else if(mod<5) printf("%.1lf\n",num*18.0+mod*2.4); else if(mod<8) printf("%d\n",num*18+10+2*(mod-4)); } } return 0; }