from datetime import datetime s=int(input()) dt_o = datetime.fromtimestamp(s) print(dt_o.hour, dt_o.minute, dt_o.second)