j,n;main(i){for(;j||~scanf("%d",&i,j=5e4);)i<j?j/=n++%3?2:2.5:printf("%d%c",j,(i-=j)?43:10);}