#include<stdio.h>
#include<vector>
#include<math.h>
using namespace std;
vector<int> angle[2171];
int main()
{
    int i,j,k;
    int angle1=0;
    int angle2=0;
    for(i=0;i<=11;i++)
    {
        for(j=0;j<=59;j++)
        {
            for(k=0;k<=50;k+=10)
            {
                if(abs(angle1-angle2)>=2160) angle[4320-abs(angle1-angle2)].push_back(i*3600+j*60+k);
                else angle[abs(angle1-angle2)].push_back(i*3600+j*60+k);
                angle1=(angle1+12)%4320;
                angle2=(angle2+1)%4320;
            }
        }
    }
    int n;
    while(scanf("%d",&n)!=EOF)
    {
        if(n%1000==0)
         for(vector<int>::iterator it=angle[n/1000].begin();it!=angle[n/1000].end();it++)
        {
            printf("%02d:%02d:%02d\n",*it/3600,*it%3600/60,*it%60);
        }
        
    }
}