#include <stdio.h> int main() { int hour,mins; hour = 9; mins = 30; mins += 1000; hour += mins/60; mins%=60; hour%=24; printf("%d:%d",hour,mins); return 0; }