#import<cstdio>
main(int s){for(;~scanf("$%d lbs\n",&s);)printf(""-7,s*97/176);}