#include <stdio.h>
#include <stdlib.h>

//======================================================================
void cutTime()
{
	/********************
	 * 	A COMPLETER		*
	 ********************/
}	
//======================================================================
int main()
{	
	int hours = 0;
	int minutes = 1000;
	int seconds = 50000;
	
	cutTime( /* A COMPLETER */ );	
	printf("%d:%d:%d \n", hours, minutes,seconds);	
}	
//======================================================================