/*
LRJ新书的第一题,是个水题,不过还是因为输入方式的问题导致了TLE。。
这题打表跟直接算 所耗的时间是一个样的。(经验证)
*/
#include<cstdio>
int copy[100];
int main()
{
int n;
copy[0] = 1;
for(int i = 1; ; i++)
{
copy[i] = copy[i-1]*2;
if(copy[i] >= 10000) break;
}
int count=0;
while(scanf("%d",&n)==1)
{
if(n<0) break;
printf("Case %d: ",++count);
for(int i = 0; ; i++)
{
if(copy[i]>=n)
{
printf("%d\n",i);
break;
}
}
}
return 0;
}