#include <stdio.h>
#include <string.h>

int main()
{
	int twobase[31], tenbase[10];
	int i, j, n;
	char in[5];
	twobase[0] = 1;
	tenbase[0] = 1;

	for (i = 1; i < 31; i++)
	{
		twobase[i] = twobase[i-1] + twobase[i-1];	
	}
	
	for (i = 1; i < 10; i++)
	{
		tenbase[i] = 10 * tenbase[i-1];	
	}
	
	while(scanf("%s", in)!= -1 && strcmp(in, "00e0") != 0)
	{
		n = (in[0] - '0') * 10 + (in[1] - '0');
		n *= tenbase[in[3]-'0'];
		for (i = 0; i < 31; i++)
		{
			if (n < twobase[i])
			{
				break;	
			}	
		}
		n = (n - twobase[i-1]) * 2 + 1;
		printf("%d\n",n);	
	}
	return 0;
}