using System;
using System.Collections.Generic;
using System.IO;
class Solution {
    static void Main(String[] args) {
        DateTime input = DateTime.Parse(System.Console.ReadLine());     
        System.Console.WriteLine(input.ToString("HH:mm:ss"));
    }
}

