#include<iostream>
#include<cstdio>
using namespace std;
int main()
{
    __int64 x,i,k,j;
    int t=1;
    while(~scanf("%I64d%I64d",&x,&k))
    {
         if(x==0&&k==0)
            break;
         i=2;
         while(i<=k)
         {
             if(x%i!=0)
             {
                j=x/i+1;//求倍数。
                  if(j<=i)
                    {
                        x=k*j;
                        break;
                    }
                x=j*i;
             }
             else
              {
                 j=x/i;
                 if(j<=i)
                    {
                        x=k*j;
                        break;
                    }
              }
             i++;
         }
      printf("Case #%d: %I64d\n",t++,x);
    }
    return 0;
}