import std;

​

void main()

{

    writeln(strftime("%H:%M:%S", 4783));

}

​

// Função strftime()

string strftime(string fmt, int tempo){

    long H, M, S;

    tempo.seconds.split!("hours", "minutes", "seconds")(H, M, S);

    return fmt.replace("%H", H.text).replace("%M", M.text).replace("%S", S.text);

}