#include <stdio.h>int main(){ int n; char c,i; while(c = getchar()) { c=='0'?n=0:n=(c-'0')*10; c = getchar(); n += c-'0'; getchar(); c = getchar(); i = c - '0'; c = getchar(); while(i--) n *= 10; if(n==0) break; for(i=31;i>0;--i) { if((n&(1<<i))>=1) break; } n &= ~(1<<i); n = n<<1; printf("%dn",n+1); } return 0;}


