#include <bits/stdc++.h>
using namespace std;
typedef pair<int,int> ii;
const double eps=1e-3;
const int N=2e5+20;
int a;
int main()
{
    int cas=1;
    int h,m,s;
    while(~scanf("%d:%d:%d",&h,&m,&s))
    {
        cin>>a;
        a*=120;
        int sum=h*3600+m*60+s;//总的时间(秒) 
        //h,m初始角度 
        int hh=sum%(360*120);
        int mm=(sum*12)%(360*120);
        
        int ans=0;//暴力枚举几秒后
        while(true)
        {
            hh=(hh+1)%(360*120);
            mm=(mm+12)%(360*120);//分针1秒离散成12度 
            ans++;
            int deg=abs(hh-mm);//h,m角度 
            if(abs(deg-a)<=10)//误差在1度内 
                break;
        }
        int anss=(ans+s)%60;
        int ansm=((ans+s)/60+m)%60;
        int ansh=(((ans+s)/60+m)/60+h)%12;
        printf("Case #%d: %02d:%02d:%02d\n",cas++,ansh,ansm,anss);  
                        
    }
    return 0;
}