/* * Date: * 2015/07/04 * Author: * _Rover */ #include #include #include #include #include #include using namespace std; int n, ss, mm, tt, degt, degs, tmp; int main(){ // freopen( "" , "r" , stdin ); // freopen( "" , "w" , stdout ); while( scanf( "%d" , &n ) != EOF ){ for( tt = 0 ; tt < 12 ; tt ++ ) for( ss = 0 ; ss < 60 ; ss ++ ) for( mm = 0 ; mm < 60 ; mm += 10 ){ degt = tt * 30 * 12000 + ss * 200 * 30 + mm * 100; degs = ss * 6 * 12000 + mm * 1200; tmp = degs - degt; if( tmp < 0 ) tmp = - tmp; if( tmp > 2160000 ) tmp = 2160000*2-tmp; if( tmp == n ){ printf( "%02d:%02d:%02d\n" , tt , ss , mm ); } } } return 0; }