import java.util.*;
import java.text.SimpleDateFormat;

public class Main {
    public static void main(String[] args) {
        
        Scanner sc = new Scanner(System.in);
        long timestamp = sc.nextLong();
        
        // 调用convertTimestampToString方法，将时间戳转换为HH:MM:SS格式的字符
        String timeString = convertTimestampToString(timestamp);
        System.out.println(timeString);
    }

    public static String convertTimestampToString(long timestamp) {
        // 创建Date对象
        Date date = new Date(timestamp);
        
        // 创建一个SimpleDateFormat对象，用于格式化日期
        // "HH:mm:ss"是日期格式字符串，表示24小时制的小时(HH)、分钟(mm)和秒(ss)
        SimpleDateFormat sdf = new SimpleDateFormat("HH:mm:ss");
        
        // 将Date对象格式化为字符串
        return sdf.format(date);
    }
}
`