#include <stdio.h>
 
int main() {
 
unsigned char hours, minutes, seconds, sec_ones, sec_tens, min_ones, min_tens, hrs_ones, hrs_tens;
 
unsigned int secs = 12*3600 + 34*60 + 56;
 
hours   = secs/3600.0;
minutes =(secs/60.0)-(hours*60);
seconds =secs-(hours*3600)-(minutes*60);
 
sec_ones    =(unsigned char)((seconds%10));
sec_tens    =(unsigned char)((seconds-sec_ones)%100);
min_ones    =(unsigned char)(minutes%10);
min_tens    =(unsigned char)((minutes-min_ones)%100);
hrs_ones    =(unsigned char)(hours%10);
hrs_tens    =(unsigned char)((hours-hrs_ones)%100);
 
printf("%u %u : %u %u : %u %u\n", hrs_tens, hrs_ones, min_tens, min_ones, sec_tens, sec_ones);
 
return 0;
}