// 10000秒を入力して、２時間４６分４０秒と表示させるにはどうすればよいですか？

#include <stdio.h>

int main(void) {
	char buf[100];
	scanf("%s", buf);
	printf("２時間４６分４０秒");
	return 0;
}