#include<iostream>
#include<cstdio>
using namespace std;
class point
{
private:
int hour,minute,second;
public:
int sethour()
{
if(hour>12||hour<=0)
hour=12;
return hour;
}
int setminue()
{
if(minute>60||minute<0)
minute=0;
return minute;
}
int setsecond()
{
if(second>60||second<0)
second=0;
return second;
}
void setpoint( )
{
cin>>hour>>minute>>second;
}
void showpoint()
{
printf("%02d:%02d:%02d\n",hour,minute,second);
}
};
int main()
{
class point t;
t.setpoint();
t.sethour();
t.setminue();
t.setsecond();
t.showpoint();
return 0;
}